Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract).

Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells

Browse the full ICFP paper archive.