A System of Constructor Classes: Overloading and Implicit HigherOrder Polymorphism (1993)

by M P Jones
Venue:In Proc. Functional Programming Languages and Computer Architecture