|
34
|
Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1996
|
|
28
|
Polarized Higher-Order Subtyping
– Martin Steffen
- 1997
|
|
14
|
Higher-Order Intersection Types and Multiple Inheritance
– Adriana B. Compagnoni, Benjamin C. Pierce
- 1995
|
|
45
|
On subtyping and matching
– Luca Cardelli
- 1995
|
|
51
|
Positive Subtyping
– Martin Hofmann, Benjamin Pierce
- 1994
|
|
|
Subtyping Parametric and Dependent Types -- An introduction
– Gang Chen, Giuseppe Longo
- 1996
|
|
1
|
Subtyping Parametric and Dependent Types
– Gang Chen, Giuseppe Longo
- 1996
|
|
135
|
PolyTOIL: A type-safe polymorphic object-oriented language
– Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent
- 1995
|
|
24
|
An imperative object calculus
– Martín Abadi, Luca Cardelli
- 1995
|
|
25
|
A Theory of Primitive Objects
– Martín Abadi, Luca Cardelli
- 1994
|
|
110
|
A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics
– Kim B. Bruce
- 1993
|
|
12
|
Multiple Inheritance via Intersection Types
– Adriana B. Compagnoni, Benjamin C. Pierce
- 1993
|
|
|
Sous-Typage Et Programmation Orientée à Objets
– Giuseppe Castagna
|
|
|
Integration of Parametric and "ad Hoc" Second Order Polymorphism in a Calculus With Subtyping
– Giuseppe Castagna
- 1995
|
|
34
|
A Semantics of Object Types
– Martín Abadi, Luca Cardelli
- 1994
|
|
6
|
On Binary Methods
– Kim Bruce, et al.
|
|
|
Dependent Type System with Subtyping -- Type Level Transitivity Elimination
– Gang Chen
- 1996
|
|
5
|
Subject reduction and minimal types for higher order subtyping
– Adriana Compagnoni
- 1997
|
|
6
|
Subtyping Recursive Types in Kernel Fun
– Dario Colazzo, Giorgio Ghelli
- 1999
|
