Safe and decidable type checking in an object-oriented language (1993)

Cached

Download Links

by Kim B. Bruce , Jon Crabtree , Thomas P. Murtagh , Robert Van Gent , Williamstown Ma , Allyn Dimock , Robert Muller
Venue:In OOPSLA '93 Conference Proceedings
Citations:35 - 2 self

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
244 Inheritance is not subtyping – W R Cook, W L Hill, P S Canning - 1990
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
488 A semantics of multiple inheritance – Luca Cardelli - 1988
1441 Object-oriented Software Construction – Bertrand Meyer - 2004
34 A static type system for message passing – Giorgio Ghelli - 1991
755 Eiffel: the language – B Meyer - 1992
86 Strongtalk: Typechecking Smalltalk in a Production Environment – Gilad Bracha, David Griswold - 1993
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
102 Adding Type Parameterization to the Java Language – Ole Agesen, Stephen N Freund, John C Mitchell - 1997
136 J.C.: F-bounded polymorphism for object-oriented programming – P Canning, W Cook, W Hill, W Olthoff, Mitchell - 1989
107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
115 The Cecil Language, Specification and Rationale – Craig Chambers - 1993
171 Object-Oriented Multi-Methods in Cecil – Craig Chambers - 1992
1266 Smalltalk-80: the language and its implementation – A Goldberg, D Robson - 1983
133 A Denotational Semantics of Inheritance and its Correctness – William Cook, Jens Palsberg - 1995
162 A Lambda Calculus of Objects and Method Specialization – Kathleen Fisher, Computer Science Dept, Furio Honsell, John C. Mitchell - 1994