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:51 - 17 self

Documents Related by Co-Citation

93 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
58 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
46 Intersection Type Disciplines in Lambda Calculus and Applicative Term Rewriting Systems – Stephanus Johannes Van Bakel, Prof M. Dezani-ciancaglini, Voor Mijn Moeder Manuscriptcommissie, Della Rocca - 1993
54 A modular, polyvariant, and type-based closure analysis – Anindya Banerjee
86 The Essence of Principal Typings – J. B. Wells - 2002
936 A theory of type polymorphism in programming – Robin Milner - 1978
47 Principal type schemes and λ-calculus semantics – M Coppo, M Dezani-Ciancaglini, B Venneri - 1980
61 Intersection Type Assignment Systems – Steffen Van Bakel - 1995
364 Towards a theory of type structure – J C Reynolds - 1974
154 The Lambda Calculus: its Syntax and Semantics. NorthHolland, revised edition – H P Barendregt - 1984
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
216 A filter lambda model and the completeness of type assignment. J.Symbolic Logic, 48:931--940 – H Barendregt, M Coppo, M Dezani-Ciancaglini - 1983
29 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
85 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