Type Inference with Constrained Types.

Martin Odersky Martin Sulzmann Martin Wehr Type Inference with Constrained Types. 35-55 1999 5 TAPOS 1 db/journals/tapos/tapos5.html#OderskySW99