|
|
A Semantics for Stratified λ&-early
– G. Castagna, G. Ghelli, G. Longo
- 1994
|
|
25
|
A Theory of Primitive Objects
– Martín Abadi, Luca Cardelli
- 1994
|
|
34
|
Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1996
|
|
|
Integration of Parametric and "ad Hoc" Second Order Polymorphism in a Calculus With Subtyping
– Giuseppe Castagna
- 1995
|
|
|
A Semantics for a Stratified λ&-Early: A Calculus with Overloading and Early Binding
– Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
- 1993
|
|
1
|
Developments in Object-Oriented Type Systems
– Michael I. Schwartzbach, C Fl Michael I. Schwartzbach
- 1994
|
|
28
|
Polarized Higher-Order Subtyping
– Martin Steffen
- 1997
|
|
5
|
Subject reduction and minimal types for higher order subtyping
– Adriana Compagnoni
- 1997
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
10
|
Parametric and Type-Dependent Polymorphism
– Giuseppe Longo
- 1995
|
|
12
|
Multiple Inheritance via Intersection Types
– Adriana B. Compagnoni, Benjamin C. Pierce
- 1993
|
|
14
|
Higher-Order Intersection Types and Multiple Inheritance
– Adriana B. Compagnoni, Benjamin C. Pierce
- 1995
|
|
45
|
On subtyping and matching
– Luca Cardelli
- 1995
|
|
3
|
Anti-Symmetry of Higher-Order Subtyping
– Adriana Compagnoni, Healfdene Goguen
- 1999
|
|
6
|
Subtyping Recursive Types in Kernel Fun
– Dario Colazzo, Giorgio Ghelli
- 1999
|
|
|
Subtyping Parametric and Dependent Types -- An introduction
– Gang Chen, Giuseppe Longo
- 1996
|
|
1
|
Subtyping Parametric and Dependent Types
– Gang Chen, Giuseppe Longo
- 1996
|
|
8
|
Coherence and Transitivity of Subtyping as Entailment
– Giuseppe Longo, Uperieure S Ormale, Sergei SOLOVIEV, N Ecole, Of Subtyping As Entailment, Of Subtyping As Entailment, Kathleen MILSTED, Kathleen Milsted
- 1996
|
|
14
|
A Logic of Subtyping
– Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
- 1996
|
