Type Reconstruction for Type Classes (1995)

by Tobias Nipkow, Christian Prehofer