A system of constructor classes: overloading and implicit higher-order polymorphism (1993)

by Mark Jones
Venue:In Functional Programming and Computer Architecture: Proceedings of FPCA ’93