Patrik Jansson - Testing type class laws

Conference paper

Johan Jeuring, Patrik Jansson, Cláudio Amaral
Janis Voigtländer, Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012, ACM, 2012, pp. 49--60

DOI: 10.1145/2364506.2364514

Cite

APA Click to copy
Jeuring, J., Jansson, P., & Amaral, C. (2012). Testing type class laws. In J. Voigtländer (Ed.), Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012 (pp. 49–60). ACM. https://doi.org/10.1145/2364506.2364514

Chicago/Turabian Click to copy
Jeuring, Johan, Patrik Jansson, and Cláudio Amaral. “Testing Type Class Laws.” In Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012, edited by Janis Voigtländer, 49–60. ACM, 2012.

MLA Click to copy
Jeuring, Johan, et al. “Testing Type Class Laws.” Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012, edited by Janis Voigtländer, ACM, 2012, pp. 49–60, doi:10.1145/2364506.2364514.

BibTeX Click to copy

@inproceedings{jeuring2012a,
  title = {Testing type class laws},
  year = {2012},
  pages = {49--60},
  publisher = {ACM},
  doi = {10.1145/2364506.2364514},
  author = {Jeuring, Johan and Jansson, Patrik and Amaral, Cláudio},
  editor = {Voigtländer, Janis},
  booktitle = {Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012}
}