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


Download Links

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

Documents Related by Co-Citation

96 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
60 Principal type schemes for an extended type theory. Theoret – S Ronchi Della Rocca, B Venneri - 1984
985 A theory of type polymorphism in programming – Robin Milner - 1978
88 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 – Stephanus Johannes Van Bakel, Prof M. Dezani-ciancaglini, Voor Mijn Moeder Manuscriptcommissie, Della Rocca - 1993
57 A modular, polyvariant, and type-based closure analysis – Anindya Banerjee
87 The Essence of Principal Typings – J. B. Wells - 2002
378 Towards a theory of type structure – J C Reynolds - 1974
221 A filter lambda model and the completeness of type assignment – H P Barendregt, K