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.

@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}
}