A Unifying Type-Theoretic Framework for Objects (1993)

Cached

Download Links

by Martin Hofmann , Benjamin Pierce
Citations:37 - 9 self

Active Bibliography

36 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
45 On subtyping and matching – Luca Cardelli - 1995
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994
Subtyping Parametric and Dependent Types -- An introduction – Gang Chen, Giuseppe Longo - 1996
1 Subtyping Parametric and Dependent Types – Gang Chen, Giuseppe Longo - 1996
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
26 An imperative object calculus – Martín Abadi, Luca Cardelli - 1995
117 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
12 Multiple Inheritance via Intersection Types – Adriana B. Compagnoni, Benjamin C. Pierce - 1993
Sous-Typage Et Programmation Orientée à Objets – Giuseppe Castagna
1 Integration of Parametric and "ad Hoc" Second Order Polymorphism in a Calculus With Subtyping – Giuseppe Castagna - 1995
35 A Semantics of Object Types – Martín Abadi, Luca Cardelli - 1994
10 On Binary Methods – Kim Bruce, et al.
Dependent Type System with Subtyping -- Type Level Transitivity Elimination – Gang Chen - 1996
6 Subject reduction and minimal types for higher order subtyping – Adriana Compagnoni - 1997
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999