Relating Typability and Expressibility in Finite-Rank Intersection Type Systems (1999)

by A J Kfoury, H G Mairson, F A Turbak, J B Wells
Venue:In Proceedings of ICFP ’99, International Conference on Functional Programming