|
37
|
Proof Theoretic Studies about a Minimal Type System Integrating Inclusion and Parametric Polymorphism
– Giorgio Ghelli
- 1990
|
|
136
|
Operations on records
– Luca Cardelli, John C. Mitchell
- 1991
|
|
43
|
Two Extensions of Curry's Type Inference System
– Felice Cardone, Mario Coppo
|
|
40
|
Decidability of Higher-Order Subtyping with Intersection Types
– Adriana B. Compagnoni
- 1994
|
|
17
|
A new type assignment for -terms
– M Coppo, M Dezani-Ciancaglini
- 1978
|
|
59
|
Coherence of subsumption, minimum typing and type checking
– P-L Curien, Giorgio Ghelli
- 1992
|
|
62
|
Per models of subtyping, recursive types and higherorder polymorphism
– K B Bruce, J C Mitchell
- 1992
|
|
104
|
Inheritance As Implicit Coercion
– Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov
- 1991
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
88
|
Toward a typed foundation for method specialization and inheritance
– John C Mitchell
- 1990
|
|
39
|
An extension of the basic functionality theory for the -calculus, Notre Dame J. of Formal Logic 21
– M Coppo, M Dezani-Ciancaglini
- 1980
|
|
237
|
Inheritance is not subtyping
– W R Cook, W Hill, P S Canning
- 1990
|
|
727
|
On understanding types, data abstraction, and polymorphism
– Luca Cardelli, Peter Wegner
- 1985
|
|
105
|
Design of the Programming Language Forsythe
– John C. Reynolds
- 1996
|
|
156
|
Simple Type-Theoretic Foundations for Object-Oriented Programming
– Benjamin C. Pierce, David N. Turner
- 1993
|
|
253
|
Interpretation fonctionelle et elimination des coupures de l’arithmetique d’ordre superieur. These d’Etat
– J Girard
- 1972
|
|
65
|
F-bounded quantification for object-oriented programming
– P Canning, W Cook, W Hill, W Olthoff, J Mitchell
- 1989
|
|
14
|
Higher-Order Intersection Types and Multiple Inheritance
– Adriana B. Compagnoni, Benjamin C. Pierce
- 1995
|
|
27
|
Decidable Bounded Quantification
– Giuseppe Castagna , Benjamin C. Pierce
- 1994
|
