An Interpretation of Objects and Object Types (1996)

Cached

Download Links

by Martín Abadi , Luca Cardelli , Ramesh Viswanathan
Citations:51 - 1 self

Documents Related by Co-Citation

895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
37 A Unifying Type-Theoretic Framework for Objects – Martin Hofmann, Benjamin Pierce - 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
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
63 A semantic basis for Quest – Luca Cardelli , Giuseppe Longo - 1991
488 A semantics of multiple inheritance – Luca Cardelli - 1988
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
66 Inheritance in Smalltalk-80: A Denotational Definition – S N Kamin - 1988
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
21 Notes about F ! <:. Unpublished manuscript – Luca Cardelli - 1990
40 Decidability of Higher-Order Subtyping with Intersection Types – Adriana B. Compagnoni - 1994
102 Bounded Quantification is Undecidable – Benjamin C. Pierce - 1993
66 F-bounded quantification for object-oriented programming – Peter S Canning, William Cook, Walter L Hill, John C Mitchell, Walter G Olthoff - 1989
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991