|
50
|
Principality and Decidable Type Inference for Finite-Rank Intersection Types
– A. J. Kfoury, J. B. Wells
- 1999
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
88
|
What Are Principal Typings and What Are They Good For?
– Trevor Jim
- 1995
|
|
74
|
An extension of the basic functionality theory for the λ-calculus. Notre Dame
– Mario Coppo, Mariangiola Dezani-Ciancaglini
- 1991
|
|
55
|
Principal type schemes for an extended type theory
– S Ronchi Della Rocca, B Venneri
- 1984
|
|
339
|
Towards a theory of type structure
– J C Reynolds
|
|
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
|
|
24
|
Rank 2 Type Systems and Recursive Definitions
– Trevor Jim
- 1995
|
|
53
|
A modular, polyvariant, and type-based closure analysis
– Anindya Banerjee
|
|
70
|
A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus
– A. J. Kfoury, J. B. Wells
- 1993
|
|
92
|
Complete restrictions of the intersection type discipline
– Steffen Van Bakel
- 1992
|
|
26
|
Principal Type Scheme and Unification for Intersection Type Discipline
– Ronchi Della Rocca, S
- 1988
|
|
137
|
The Lambda Calculus: Its Syntax and Semantics. North-Holland, revised edition
– H P Barendregt
- 1984
|
|
77
|
The Essence of Principal Typings
– J. B. Wells
- 2002
|
|
46
|
Intersection Type Disciplines in Lambda Calculus and Applicative Term Rewriting Systems
– S van Bakel
- 1993
|
|
52
|
Intersection Type Assignment Systems
– Steffen Van Bakel
- 1995
|
|
200
|
A filter lambda model and the completeness of type assignment
– H Barendregt, M Coppo, M Dezani-Ciancaglini
- 1983
|
|
13
|
Beta-Reduction As Unification
– A.J. Kfoury
- 1996
|
