Martin Sulzmann
Extracting programs from type class proofs
PPDP, 2006.
@inproceedings{PPDP-2006-Sulzmann, author = "Martin Sulzmann", booktitle = "{Proceedings of the Eighth International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/1140335.1140348", isbn = "1-59593-388-3", pages = "97--108", publisher = "{ACM}", title = "{Extracting programs from type class proofs}", year = 2006, }