Type Checking Type Classes (1993)

by T Nipkow, C Prehofer
Venue:Proc. 20th ACM Symposium on Principles of Programming Languages