Polarized Higher-Order Subtyping (1997)

View PDF

Download Links

by Martin Steffen
Citations:36 - 1 self

Documents Related by Co-Citation

798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
165 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
552 Lambda Calculi with Types – Henk Barendregt - 1993
510 A semantics of multiple inheritance – Luca Cardelli - 1988
929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
40 Decidability of Higher-Order Subtyping with Intersection Types – Adriana B. Compagnoni - 1994
760 Types and Programming Languages – Benjamin C Pierce - 2002
497 The calculus of constructions – T Coquand, G P Huet - 1988
790 Eiffel: the language – Bertrand Meyer - 1992