Type inference with constrained types’, Theory and Practice of Object Systems 5(1 (1999)

by M Sulzmann, M, M Wehr