Dominic Duggan Gordon V. Cormack John Ophel Kinded Type Inference for Parametric Overloading. 21-68 1996 33 Acta Inf. 1 db/journals/acta/acta33.html#DugganCO96