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
759 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
158 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
66 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
142 Operations on records – Luca Cardelli, John C. Mitchell - 1991
486 A semantics of multiple inheritance – Luca Cardelli - 1988
892 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
285 Interpre'tation fonctionelle et e'limination des coupures duns l'arithme'tique d'ordre supe'rieure – 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 – P Canning, W Cook, W Hill, W Olthoff, J Mitchell - 1989
112 An extension of system F with subtyping – Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov - 1991
519 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
88 Toward A Typed Foundation for Method Specialization and Inheritance – J C Mitchell - 1990