|
5
|
Subject reduction and minimal types for higher order subtyping
– Adriana Compagnoni
- 1997
|
|
34
|
Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1996
|
|
1
|
Higher-order subtyping and its decidability
– Adriana Compagnoni
|
|
14
|
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
|
|
28
|
Polarized Higher-Order Subtyping
– Martin Steffen
- 1997
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
51
|
Positive Subtyping
– Martin Hofmann, Benjamin Pierce
- 1994
|
|
3
|
Anti-Symmetry of Higher-Order Subtyping
– Adriana Compagnoni, Healfdene Goguen
- 1999
|
|
6
|
Subtyping Recursive Types in Kernel Fun
– Dario Colazzo, Giorgio Ghelli
- 1999
|
|
27
|
Decidable Bounded Quantification
– Giuseppe Castagna , Benjamin C. Pierce
- 1994
|
|
131
|
A Calculus for Overload Functions with Subtyping
– G. Castagna, G. Ghelli, G. Longo
- 1992
|
|
135
|
PolyTOIL: A type-safe polymorphic object-oriented language
– Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent
- 1995
|
|
238
|
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
|
|
16
|
A simple typed intermediate language for object-oriented languages
– Juan Chen
- 2005
|
|
4
|
Low-Level Type Systems for Modularity and Object-Oriented Constructs
– Arthur Neal Glew
- 2000
|
|
109
|
Comparing object encodings
– Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
- 2006
|
