Positive Subtyping (1994)

Cached

Download Links

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

Documents Related by Co-Citation

159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
162 A Lambda Calculus of Objects and Method Specialization – Kathleen Fisher, Computer Science Dept, Furio Honsell, John C. Mitchell - 1994
40 Decidability of Higher-Order Subtyping with Intersection Types – Adriana B. Compagnoni - 1994
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
110 An extension of system F with subtyping – Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov - 1991
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
37 A Unifying Type-Theoretic Framework for Objects – Martin Hofmann, Benjamin Pierce - 1993
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
136 Complete type inference for simple objects – Mitchell Wand - 1988
30 Subtyping is not a good "Match" for object-oriented languages – Kim B. Bruce, Leaf Petersen, Adrian Fiech - 1997
33 Type Systems For Object-Oriented Programming Languages – Kathleen Shanahan Fisher, John C. Mitchell - 1996
35 Safe type checking in a statically-typed object-oriented programming language – K B Bruce - 1993
26 Statically Typed Friendly Functions via Partially Abstract Types – Benjamin C. Pierce, David N. Turner - 1993
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
34 On the Relationship between Classes, Objects, and Data Abstraction – Kathleen Fisher, John C. Mitchell - 1998
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
13 Typed operational semantics for higher order subtyping – Adriana Compagnoni, Healfdene Goguen - 1997