Tobias Nipkow, Christian Prehofer
Type Checking Type Classes
POPL, 1993.
@inproceedings{POPL-1993-NipkowP, author = "Tobias Nipkow and Christian Prehofer", booktitle = "{Conference Record of the 20th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/158511.158698", editor = "Mary S. Van Deusen and Bernard Lang", isbn = "0-89791-560-7", pages = "409--418", publisher = "{ACM Press}", title = "{Type Checking Type Classes}", year = 1993, }