Matthias Neubauer, Peter Thiemann. Type classes with more higher-order polymorphism. In Proceedings of the seventh ACM SIGPLAN international conference on Functional Programming (ICFP 2002). pages 179-190, 2002. [doi]
@inproceedings{NeubauerT02, title = {Type classes with more higher-order polymorphism}, author = {Matthias Neubauer and Peter Thiemann}, year = {2002}, doi = {10.1145/581478.581496}, url = {http://doi.acm.org/10.1145/581478.581496}, researchr = {https://researchr.org/publication/NeubauerT02}, cites = {0}, citedby = {0}, pages = {179-190}, booktitle = {Proceedings of the seventh {ACM SIGPLAN} international conference on Functional Programming {(ICFP 2002)}}, }