Simple Type-Theoretic Foundations for Object-Oriented Programming (1993)

Cached

Download Links

by Benjamin C. Pierce , David N. Turner
Citations:159 - 17 self

Documents Related by Co-Citation

488 A semantics of multiple inheritance – Luca Cardelli - 1988
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
37 A Unifying Type-Theoretic Framework for Objects – Martin Hofmann, Benjamin Pierce - 1993
141 A Denotational Semantics of Inheritance – William R. Cook, Brian Dalio, Tom Freeman, Craig Hansen-sturm, Victor Law, Leonard Nicholson, James Redfern, Tom Rockwell, Chris Warth - 1989
88 Toward A Typed Foundation for Method Specialization and Inheritance – J C Mitchell - 1990
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
162 A Lambda Calculus of Objects and Method Specialization – Kathleen Fisher, Computer Science Dept, Furio Honsell, John C. Mitchell - 1994
244 Inheritance is not subtyping – W R Cook, W L Hill, P S Canning - 1990
78 A theory of primitive objects: Untyped and first-order systems – Martín Abadi, Luca Cardelli - 1994
54 A theory of primitive objects: second-order systems – Martín Abadi, Luca Cardelli
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
1266 Smalltalk-80: the language and its implementation – A Goldberg, D Robson - 1983
102 Bounded Quantification is Undecidable – Benjamin C. Pierce - 1993
63 A semantic basis for Quest – Luca Cardelli , Giuseppe Longo - 1991
87 A modest model of records, inheritance, and bounded quantification – Kim B Bruce, Giuseppe Longo
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994