An Interpretation of Objects and Object Types (1996)

Cached

Download Links

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

Active Bibliography

26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
26 An imperative object calculus – Martín Abadi, Luca Cardelli - 1995
78 A theory of primitive objects: Untyped and first-order systems – Martín Abadi, Luca Cardelli - 1994
8 An Imperative Object Calculus -- Basic Typing and Soundness – Martin Abadi, Luca Cardelli - 1995
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
May 28, 1994 3:03 PM ESOP'94 1 – Theory Of Primitive
31 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
25 Programming Languages for Reusable Software Components – Matthew Flatt - 1999
45 On subtyping and matching – Luca Cardelli - 1995
2 Should ML be object-oriented? – David MacQueen
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
OPUS: a Calculus for Modelling Object-Oriented Concepts – Nc E F, Techreport Vub-tinf-tr, Tom Mens, Tom Mens, Kim Mens, Kim Mens, Patrick Steyaert, Patrick Steyaert - 1994
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994
22 Objects and classes in Algol-like languages – Uday S. Reddy - 2002
6 Simple, Efficient Object Encoding using Intersection Types – Karl Crary - 1999
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
89 A Programmer's Reduction Semantics for Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1999