Decidability of Higher-Order Subtyping with Intersection Types (1994)

Cached

Download Links

by Adriana B. Compagnoni
Venue:University of Edinburgh, LFCS
Citations:40 - 11 self

Documents Related by Co-Citation

895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
21 Notes about F ! <:. Unpublished manuscript – Luca Cardelli - 1990
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
488 A semantics of multiple inheritance – Luca Cardelli - 1988
63 A semantic basis for Quest – Luca Cardelli , Giuseppe Longo - 1991
37 A Unifying Type-Theoretic Framework for Objects – Martin Hofmann, Benjamin Pierce - 1993
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
88 Toward A Typed Foundation for Method Specialization and Inheritance – J C Mitchell - 1990
110 An extension of system F with subtyping – Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov - 1991
244 Inheritance is not subtyping – W R Cook, W L Hill, P S Canning - 1990
62 Per models of subtyping, recursive types and higher-order polymorphism – K B Bruce, J C Mitchell - 1992
87 A modest model of records, inheritance, and bounded quantification – Kim B Bruce, Giuseppe Longo
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
102 Bounded Quantification is Undecidable – Benjamin C. Pierce - 1993
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993