Implementing compositional analysis using intersection types with expansion variables (2002)

by A J Kfoury, G Washburn, J B Wells
Venue:In Proceedings of the 2nd Workshop on Intersection Types and Related Systems