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

895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
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
755 Eiffel: the language – B Meyer - 1992
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
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
86 Strongtalk: Typechecking Smalltalk in a Production Environment – Gilad Bracha, David Griswold - 1993
1266 Smalltalk-80: the language and its implementation – A Goldberg, D Robson - 1983
55 Efficient Inference of Object Types – Jens Palsberg - 1995
133 A Denotational Semantics of Inheritance and its Correctness – William Cook, Jens Palsberg - 1995
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
136 J.C.: F-bounded polymorphism for object-oriented programming – P Canning, W Cook, W Hill, W Olthoff, Mitchell - 1989
317 Pizza into Java: Translating theory into practice – Martin Odersky, Philip Wadler - 1997
173 Parameterized types and Java – Joseph A. Bank, Barbara Liskov, Andrew C. Myers - 1996