Kinded type inference for parametric overloading (1996)

by D Duggan, G Cormack, J Ophel
Venue:Acta Informatica