Type reconstruction for type classes (1995)

by Tobias Nipkow, Christian Prehofer
Venue:Journal of Functional Programming