A Delegation-based Object Calculus with Subtyping (1995)

by Kathleen Fisher , John C. Mitchell
Venue:In Proc. of FCT
Citations:68 - 5 self

Active Bibliography

31 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
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
40 An Imperative, First-Order Calculus with Object Extension – Viviana Bono, Kathleen Fisher - 1998
34 On the Relationship between Classes, Objects, and Data Abstraction – Kathleen Fisher, John C. Mitchell - 1998
9 A Core Calculus of Classes and Objects – Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell - 1999
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
1 Bounded Polymorphism for Extensible Objects – Luigi Liquori - 1997
12 Multiple Inheritance via Intersection Types – Adriana B. Compagnoni, Benjamin C. Pierce - 1993
7 Classes = Objects + Data Abstraction – Kathleen Fisher, John C. Mitchell - 1996
17 A Natural Semantics for Eiffel Dynamic Binding – Isabelle Attali, Denis Caromel, Sidi Ould Ehmety - 1996
45 Fast and Effective Optimization of Statically Typed Object-Oriented Languages – David Francis Bacon - 1997
53 A Core Calculus of Classes and Mixins – Viviana Bono , Amit Patel, Vitaly Shmatikov - 1999
26 An imperative object calculus – Martín Abadi, Luca Cardelli - 1995
8 An Imperative Object Calculus -- Basic Typing and Soundness – Martin Abadi, Luca Cardelli - 1995
2 Extensible Objects: a Tutorial – Viviana Bono - 2003
10 A Linear Logic Calculus of Objects – Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli - 1996