Efficient Implementation of Type Class Overloading (1992)

by M P Jones