Type Checking Type Classes.

Tobias Nipkow, Christian Prehofer

Browse the full POPL paper archive.