Principality and Decidable Type Inference for Finite-Rank Intersection Types (1999)

Cached

Download Links

by A. J. Kfoury , J. B. Wells
Venue:In Conf. Rec. POPL ’99: 26th ACM Symp. Princ. of Prog. Langs
Citations:52 - 17 self

Documents Related by Co-Citation

94 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
59 Principal type schemes for an extended type theory – Ronchi della Rocca, S, B Venneri - 1984
78 A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus – A. J. Kfoury, J. B. Wells - 1993
47 Intersection Type Disciplines in Lambda Calculus and Applicative Term Rewriting Systems – S van Bakel - 1993
54 A modular, polyvariant, and type-based closure analysis – Anindya Banerjee
86 The Essence of Principal Typings – J. B. Wells - 2002
939 A theory of type polymorphism in programming – Robin Milner - 1978
48 Principal type schemes and λ-calculus semantics – M Coppo, M Dezani-Ciancaglini, B Venneri - 1980
62 Intersection Type Assignment Systems – Steffen Van Bakel - 1995
363 Towards a theory of type structure – J C Reynolds - 1974
155 The Lambda Calculus: its Syntax and Semantics. North-Holland, Amsterdam, revised edition – H P Barendregt - 1984
22 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
218 A filter lambda model and the completeness of type assignment – M Coppo - 1983
30 Principal type scheme and unification for intersection type discipline – S Ronchi Della Rocca - 1988
16 Type reconstruction in Fω – P Urzyczyn - 1997
26 Principality and Type Inference for Intersection Types Using Expansion Variables – A. J. Kfoury, J. B. Wells - 2003
86 Polymorphic Type Inference – D Leivant - 1983
16 Inference of Polymorphic and Conditional Strictness Properties – Thomas P. Jensen - 1998
26 Rank 2 Type Systems and Recursive Definitions – Trevor Jim - 1995