Thijs Alkemade, Johan Jeuring. Type Class Instances for Type-Level Lambdas in Haskell. In Manuel Serrano, Jurriaan Hage, editors, Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers. Volume 9547 of Lecture Notes in Computer Science, pages 60-84, Springer, 2015. [doi]
@inproceedings{AlkemadeJ15,
title = {Type Class Instances for Type-Level Lambdas in Haskell},
author = {Thijs Alkemade and Johan Jeuring},
year = {2015},
doi = {10.1007/978-3-319-39110-6_4},
url = {http://dx.doi.org/10.1007/978-3-319-39110-6_4},
researchr = {https://researchr.org/publication/AlkemadeJ15},
cites = {0},
citedby = {0},
pages = {60-84},
booktitle = {Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
editor = {Manuel Serrano and Jurriaan Hage},
volume = {9547},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-39109-0},
}