Positive Subtyping (1994)

Cached

Download Links

by Martin Hofmann , Benjamin Pierce
Venue:Information and Computation
Citations:51 - 8 self

Active Bibliography

38 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
144 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
45 On subtyping and matching – Luca Cardelli - 1995
36 Polarized Higher-Order Subtyping – Martin Steffen - 1997
29 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
1 M.I.: Developments in Object-Oriented Type Systems – Schwartzbach - 1994
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
141 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006