Comparing object encodings (2006)

by Kim B. Bruce , Luca Cardelli , Benjamin C. Pierce
Venue:Journal of Functional Programming, 16:375 – 414
Citations:119 - 3 self

Active Bibliography

4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
9 A Core Calculus of Classes and Objects – Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell - 1999
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
45 On subtyping and matching – Luca Cardelli - 1995
1 OBJECT ORIENTED PROGRAMMING: INHERITANCE TO ADOPTION – T. B. Dinesh - 1991
31 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
22 Objects and classes in Algol-like languages – Uday S. Reddy - 2002
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
17 A Natural Semantics for Eiffel Dynamic Binding – Isabelle Attali, Denis Caromel, Sidi Ould Ehmety - 1996
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
3 Game semantics for an object-oriented language – Nicholas Wolverson - 2008
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
53 A Core Calculus of Classes and Mixins – Viviana Bono , Amit Patel, Vitaly Shmatikov - 1999
29 Typing in object-oriented languages: Achieving expressiveness and safety – Kim B. Bruce - 1996
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994