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:18 - 8 self