Mark P. Jones
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
FPCA, 1993.
@inproceedings{FPCA-1993-Jones,
author = "Mark P. Jones",
booktitle = "{Proceedings of the Sixth Conference on Functional Programming Languages and Computer Architecture}",
isbn = "0-89791-595-X",
pages = "52--64",
publisher = "{ACM Press}",
title = "{A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism}",
year = 1993,
}