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

Active Bibliography

6 Subject reduction and minimal types for higher order subtyping – Adriana Compagnoni - 1997
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
1 Higher-order subtyping and its decidability – Adriana Compagnoni
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
12 Multiple Inheritance via Intersection Types – Adriana B. Compagnoni, Benjamin C. Pierce - 1993
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994
4 Anti-Symmetry of Higher-Order Subtyping – Adriana Compagnoni, Healfdene Goguen - 1999
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
26 Decidable Bounded Quantification – Giuseppe Castagna , Benjamin C. Pierce - 1994
141 A Calculus for Overload Functions with Subtyping – G. Castagna, G. Ghelli, G. Longo - 1992
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
45 On subtyping and matching – Luca Cardelli - 1995
7 Programming in the pi-calculus: A tutorial introduction to Pict (Pict Version 3.8d) – Benjamin C. Pierce - 1996
18 A simple typed intermediate language for object-oriented languages – Juan Chen - 2005
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000