Johan Jeuring, Patrik Jansson, Cláudio Amaral. Testing type class laws. In Janis Voigtländer, editor, Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012. pages 49-60, ACM, 2012. [doi]
@inproceedings{JeuringJA12,
title = {Testing type class laws},
author = {Johan Jeuring and Patrik Jansson and Cláudio Amaral},
year = {2012},
doi = {10.1145/2364506.2364514},
url = {http://doi.acm.org/10.1145/2364506.2364514},
researchr = {https://researchr.org/publication/JeuringJA12},
cites = {0},
citedby = {0},
pages = {49-60},
booktitle = {Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012},
editor = {Janis Voigtländer},
publisher = {ACM},
isbn = {978-1-4503-1574-6},
}