Jan 1995a], "A system of constructor classes: overloading and implicit higher-order polymorphism (0)

by MP Jones
Venue:Journal of Functional Programming