@article {3530,
	title = {Kinded Type Inference for Parametric Overloading},
	journal = {Acta Informatica},
	volume = {33},
	year = {1996},
	pages = {21--68},
	doi = {10.1007/s002360050035},
	author = {Dominic Duggan and Gordon Cormack and John Ophel}
}
