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
244 Inheritance is not subtyping – W R Cook, W L Hill, P S Canning - 1990
488 A semantics of multiple inheritance – Luca Cardelli - 1988
66 Inheritance in Smalltalk-80: A Denotational Definition – S N Kamin - 1988
63 A semantic basis for Quest – Luca Cardelli , Giuseppe Longo - 1991
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
162 A Lambda Calculus of Objects and Method Specialization – Kathleen Fisher, Computer Science Dept, Furio Honsell, John C. Mitchell - 1994
102 Bounded Quantification is Undecidable – Benjamin C. Pierce - 1993
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
66 F-bounded quantification for object-oriented programming – Peter S Canning, William Cook, Walter L Hill, John C Mitchell, Walter G Olthoff - 1989
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
21 Notes about F ! <:. Unpublished manuscript – Luca Cardelli - 1990
40 Decidability of Higher-Order Subtyping with Intersection Types – Adriana B. Compagnoni - 1994
43 Bisimilarity for a First-Order Calculus of Objects with Subtyping – Andrew D. Gordon, Gareth D. Rees - 1996
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995