Polarized Higher-Order Subtyping (1997)

Cached

Download Links

by Martin Steffen
Citations:32 - 1 self

Documents Related by Co-Citation

767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
896 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
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
485 A semantics of multiple inheritance – Luca Cardelli - 1988
40 Decidability of Higher-Order Subtyping with Intersection Types – Adriana B. Compagnoni - 1994
721 Types and programming languages – Benjamin C Pierce - 2002
552 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
478 The calculus of constructions – G Huet Coquand - 1988