|
88
|
What Are Principal Typings and What Are They Good For?
– Trevor Jim
- 1995
|
|
70
|
A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus
– A. J. Kfoury, J. B. Wells
- 1993
|
|
55
|
Principal type schemes for an extended type theory
– S Ronchi Della Rocca, B Venneri
- 1984
|
|
46
|
Intersection Type Disciplines in Lambda Calculus and Applicative Term Rewriting Systems
– S van Bakel
- 1993
|
|
53
|
A modular, polyvariant, and type-based closure analysis
– Anindya Banerjee
|
|
873
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
337
|
Towards a theory of types structure
– John C Reynolds
- 1974
|
|
77
|
The Essence of Principal Typings
– J. B. Wells
- 2002
|
|
137
|
The Lambda Calculus: Its Syntax and Semantics. North-Holland, revised edition
– H P Barendregt
- 1984
|
|
50
|
Intersection Type Assignment Systems
– Steffen Van Bakel
- 1995
|
|
21
|
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)
– Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells
- 1999
|
|
16
|
Type reconstruction in Fω
– P Urzyczyn
- 1997
|
|
198
|
A Filter Lambda Model and the Completeness of Type Assignment
– H Barendregt, M Coppo, M Dezani-Ciancaglini
- 1983
|
|
24
|
Principality and Type Inference for Intersection Types Using Expansion Variables
– A. J. Kfoury, J. B. Wells
- 2003
|
|
34
|
Principal type schemes and λ-calculus semantics
– M Coppo, M Dezani-Ciancaglini, B Venneri
- 1980
|
|
16
|
Inference of Polymorphic and Conditional Strictness Properties
– Thomas P. Jensen
- 1998
|
|
82
|
Polymorphic type inference
– Daniel Leivant
- 1983
|
|
26
|
Principal Type Scheme and Unification for Intersection Type Discipline
– Ronchi Della Rocca, S
- 1988
|
|
220
|
Interprétation fonctionnelle et élimination des coupures de l’arithmétique d’ordre supérieur
– J Y Girard
- 1972
|
