Formal Objects in Type Theory Using Very Dependent Types (1996)

by Jason J. Hickey
Venue:In Foundations of Object Oriented Languages 3
Citations:29 - 8 self

Active Bibliography

4 A Predicative Type-Theoretic Interpretation of Objects – Jason J. Hickey - 1997
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
The MetaPRL Logical Programming Environment - Volume I – Jason Jonathan Hickey - 2001
9 A Core Calculus of Classes and Objects – Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell - 1999
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
53 A Core Calculus of Classes and Mixins – Viviana Bono , Amit Patel, Vitaly Shmatikov - 1999
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
26 An imperative object calculus – Martín Abadi, Luca Cardelli - 1995
7 Type Destructors – Martin Hofmann, Benjamin C. Pierce - 1998
29 Typing in object-oriented languages: Achieving expressiveness and safety – Kim B. Bruce - 1996
12 Nuprl-Light: An implementation framework for higher-order logics – Jason J. Hickey - 1997
4 Anti-Symmetry of Higher-Order Subtyping – Adriana Compagnoni, Healfdene Goguen - 1999
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
3 Decidability Extracted: Synthesizing ``Correct-by-Construction'' Decision Procedures from Constructive Proofs – James L. Caldwell, II - 1998
4 A Type System for Record Concatenation and Subtyping – Jan Zwanenburg - 1996
19 From Classes to Objects via Subtyping – Didier Rémy - 1998
8 An Imperative Object Calculus -- Basic Typing and Soundness – Martin Abadi, Luca Cardelli - 1995
Proc. LICS’94 A Semantics of Object Types – Martín Abadi, Luca Cardelli