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

by S Carlier, J B Wells
Venue:Essays on Combinatory Logic, Lambda Calculus, and Formalism