Type checking type classes (1993)

by T Nipkow, C Prehofer
Venue:In ACM Symp. Principles of Programming Languages