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

Active Bibliography

26 Principality and Type Inference for Intersection Types Using Expansion Variables – A. J. Kfoury, J. B. Wells - 2003
86 The Essence of Principal Typings – J. B. Wells - 2002
8 Types, potency, and idempotency: why nonlinearity and amnesia make a type system work – Peter Møller Neergaard, Harry G. Mairson - 2004
11 Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with β-Reduction – Sébastien Carlier, J. B. Wells
12 Rank 2 Intersection Types for Local Definitions and Conditional Expressions – Ferruccio Damiani - 2003
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
17 Expansion: the Crucial Mechanism for Type Inference with Intersection Types: Survey and Explanation – Sebastien Carlier, J. B. Wells - 2005
2 Analyse Statique De Programmes : Fondements Et Applications – Thomas Jensen, M. Jean-pierre, Bantre Prsident, Mm Nicolas, Neil Jones, Giorgio Levi, Mm Charles, Consel Examinateurs, Daniel Le Mtayer, T. Jensen - 1999
104 Complete restrictions of the intersection type discipline – Steffen Van Bakel - 1992
8 A New Presentation of the Intersection Type Discipline Through Principal Typings of Normal Forms – Émilie Sayag, Michel Mauny - 1996
1 Contents – David P. Cunningham, Supervisor Herbert Wiklicky - 2005
6 Strict Intersection Types for the Lambda Calculus – Steffen Van Bakel - 2010
16 Inference of Polymorphic and Conditional Strictness Properties – Thomas P. Jensen - 1998
2 Type Inference for Recursive Definitions – Assaf J. Kfoury, Santiago M. Pericás-Geertsen - 2000
AT DIFFERENT RANKS – Santiago M. Pericas-geertsen, Assaf J. Kfoury, Ph. D, Santiago M. Pericas-geertsen - 1999
2 A Linearization of the Lambda-Calculus and Consequences – A.J. Kfoury - 2000
36 Principal type schemes for the strict type assignment system – Steffen Van Bakel - 1993
Intersection Types, λ-models, and Böhm Trees – Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo de'Liguoro
13 Beta-Reduction As Unification – A.J. Kfoury - 1996