Type inference with constrained types (1999)

by Martin Odersky, Martin Sulzmann, Martin Wehr
Venue:Theor. Pract. Object Syst