Polarized Higher-Order Subtyping (1997)

Cached

Download Links

by Martin Steffen
Citations:32 - 1 self

Documents Related by Co-Citation

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
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
102 Bounded Quantification is Undecidable – Benjamin C. Pierce - 1993
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994
12 Subtyping in F ! is decidable – Adriana B Compagnoni - 1994
21 Notes about F ! <:. Unpublished manuscript – Luca Cardelli - 1990
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
488 A semantics of multiple inheritance – Luca Cardelli - 1988
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
17 A new type-assignment for -terms – M Coppo, M Dezani-Ciancaglini - 1978
66 F-bounded quantification for object-oriented programming – Peter S Canning, William Cook, Walter L Hill, John C Mitchell, Walter G Olthoff - 1989
110 An extension of system F with subtyping – Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov - 1991
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
37 A Unifying Type-Theoretic Framework for Objects – Martin Hofmann, Benjamin Pierce - 1993
244 Inheritance is not subtyping – W R Cook, W L Hill, P S Canning - 1990