Parametric overloading and liberal resolution (1994)

by John Ophel, Dominic Duggan, Gordon Cormack