Making Type Inference Practical. - Nicholas Oxhøj; Jens Palsberg; Michael I. Schwartzbach (ECOOP, 1992)