Type inference with subtypes (1988)

by You-Chin Fuh, Prateek Mishra
Venue:In ESOP ’88