Type classes and overloading resolution via order-sorted unification (1991)

by T Nipkow, G Snelting
Venue:Functional Programming Languages and Computer Architecture, volume 523 of LNCS