Type inference with constrained types. Theory and Practice of Object Systems (1999)

by M Odersky, M Sulzmann, M Wehr