Expansion: the crucial mechanism for type inference with intersection types: A survey and explanation (2005)

by S Carlier, J B Wells
Venue:In Proc. 3rd Int’l Workshop Intersection Types & Related Systems (ITRS 2004