|
34
|
Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1996
|
|
45
|
On subtyping and matching
– Luca Cardelli
- 1995
|
|
28
|
Polarized Higher-Order Subtyping
– Martin Steffen
- 1997
|
|
1
|
Developments in Object-Oriented Type Systems
– Michael I. Schwartzbach, C Fl Michael I. Schwartzbach
- 1994
|
|
25
|
A Theory of Primitive Objects
– Martín Abadi, Luca Cardelli
- 1994
|
|
135
|
PolyTOIL: A type-safe polymorphic object-oriented language
– Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent
- 1995
|
|
14
|
Higher-Order Intersection Types and Multiple Inheritance
– Adriana B. Compagnoni, Benjamin C. Pierce
- 1995
|
|
6
|
Subtyping Recursive Types in Kernel Fun
– Dario Colazzo, Giorgio Ghelli
- 1999
|
|
34
|
A Semantics of Object Types
– Martín Abadi, Luca Cardelli
- 1994
|
|
14
|
Divergence of F≤ Type Checking
– Giorgio Ghelli
|
|
110
|
A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics
– Kim B. Bruce
- 1993
|
|
288
|
Subtyping recursive types
– Roberto M. Amadio, Cnrs-crin Nancy, Luca Cardelli
- 1993
|
|
109
|
Comparing object encodings
– Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
- 2006
|
|
7
|
Programming in the pi-calculus: A tutorial introduction to Pict (Pict Version 3.8d)
– Benjamin C. Pierce
- 1996
|
|
|
Integration of Parametric and "ad Hoc" Second Order Polymorphism in a Calculus With Subtyping
– Giuseppe Castagna
- 1995
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
8
|
Type Destructors
– Martin Hofmann, Benjamin C. Pierce
- 1998
|
|
5
|
Bounded Quantification with Bottom
– Benjamin C. Pierce
- 1997
|
|
7
|
Hierarchies of Decidable Extensions of Bounded Quantification
– Sergei Vorobyov
- 1994
|
