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

by Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells
Venue:In Proc. 1999 Int’l Conf. Functional Programming