Expansion: the Crucial Mechanism for Type Inference with Intersection Types: Survey and Explanation (2005)

by Sebastien Carlier , J. B. Wells
Venue:In: (ITRS ’04
Citations:17 - 7 self