Kinded parametric overloading (1994)

by D Duggan, J Ophel
Venue:University ofWaterloo, Department of Computer Science