Janis Voigtländer. Free theorems involving type constructor classes (functional pearl). In Graham Hutton, Andrew P. Tolmach, editors, Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009. pages 173-184, ACM, 2009. [doi]
@inproceedings{Voi09b,
title = {Free theorems involving type constructor classes (functional pearl)},
author = {Janis Voigtländer},
year = {2009},
doi = {10.1145/1596550.1596577},
url = {http://doi.acm.org/10.1145/1596550.1596577},
tags = {functional programming, constraints, Haskell},
researchr = {https://researchr.org/publication/Voi09b},
cites = {0},
citedby = {0},
pages = {173-184},
booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
editor = {Graham Hutton and Andrew P. Tolmach},
publisher = {ACM},
isbn = {978-1-60558-332-7},
}