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

Active Bibliography

26 Principality and Type Inference for Intersection Types Using Expansion Variables – A. J. Kfoury, J. B. Wells - 2003
87 The Essence of Principal Typings – J. B. Wells - 2002
The Essence of Principal Typings – unknown authors
12 Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with β-Reduction – Sébastien Carlier, J. B. Wells
8 Types, potency, and idempotency: why nonlinearity and amnesia make a type system work – Peter Møller Neergaard, Harry G. Mairson - 2004
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
11 Rank 2 Intersection Types for Local Definitions and Conditional Expressions – Ferruccio Damiani - 2003
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
849 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998