Type inference with constrained types (1997)

by Martin Odersky, Martin Sulzmann, Martin Wehr
Venue:Fourth International Workshop on Foundations of Object-Oriented Programming (FOOL)