Principality and Type Inference for Intersection Types Using Expansion Variables (2003)

by A. J. Kfoury , J. B. Wells
Citations:34 - 14 self