|
1
|
Decidability of Higher-Order Subtyping via Logical Relations
– Adriana Compagnoni, Healfdene Goguen
- 1997
|
|
3
|
Anti-Symmetry of Higher-Order Subtyping
– Adriana Compagnoni, Healfdene Goguen
- 1999
|
|
5
|
Subject reduction and minimal types for higher order subtyping
– Adriana Compagnoni
- 1997
|
|
1
|
Higher-order subtyping and its decidability
– Adriana Compagnoni
|
|
109
|
Comparing object encodings
– Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
- 2006
|
|
8
|
Type Destructors
– Martin Hofmann, Benjamin C. Pierce
- 1998
|
|
23
|
Foundations for Virtual Types
– Atsushi Igarashi , Benjamin C. Pierce
- 1998
|
|
6
|
Subtyping Recursive Types in Kernel Fun
– Dario Colazzo, Giorgio Ghelli
- 1999
|
|
2
|
Extension Polymorphism
– Dharini Balasubramaniam
- 1998
|
|
45
|
On subtyping and matching
– Luca Cardelli
- 1995
|
|
|
Products and Polymorphic Subtypes
– Viviana Bono, Jerzy Tiuryn
- 2002
|
|
|
Pure Type Systems with Subtyping (Extended Abstract)
– Jan Zwanenburg
|
|
3
|
On Binary Methods
– Gary T. Leavens, Benjamin Pierce, Giuseppe Castagna, The Hopkins Objects Group, Kim Bruce, Kim Bruce, Luca Cardelli, Luca Cardelli
- 1995
|
|
6
|
On Binary Methods
– Kim Bruce, et al.
|
|
3
|
Typed Intermediate Representations for Compiling Object-Oriented Languages
– Joseph C. Vanderwaart
- 1999
|
|
34
|
Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1996
|
|
6
|
Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping
– Alex Jones, Zhaohui Luo, sergei Soloviev
- 1996
|
|
|
Naïve Type Theory
– Robert L. Constable
- 2002
|
|
2
|
Naïve computational type theory
– Robert L. Constable
- 2002
|
