A Unifying Type-Theoretic Framework for Objects (1993)

Cached

Download Links

by Martin Hofmann , Benjamin Pierce
Citations:37 - 9 self

Documents Related by Co-Citation

159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
488 A semantics of multiple inheritance – Luca Cardelli - 1988
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
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
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
63 A semantic basis for Quest – Luca Cardelli , Giuseppe Longo - 1991
110 An extension of system F with subtyping – Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov - 1991
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
21 Notes about F ! <:. Unpublished manuscript – Luca Cardelli - 1990
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
87 A modest model of records, inheritance, and bounded quantification – Kim B Bruce, Giuseppe Longo
40 Decidability of Higher-Order Subtyping with Intersection Types – Adriana B. Compagnoni - 1994
51 An Interpretation of Objects and Object Types – Martín Abadi, Luca Cardelli, Ramesh Viswanathan - 1996
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
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