APA   Click to copy
Danielsson, N. A., Hughes, J., Jansson, P., & Gibbons, J. (2006). Fast and loose reasoning is morally correct. In J. G. Morrisett & S. L. P. Jones (Eds.), Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006 (pp. 206–217). ACM. https://doi.org/10.1145/1111037.1111056

Chicago/Turabian   Click to copy
Danielsson, Nils Anders, John Hughes, Patrik Jansson, and Jeremy Gibbons. “Fast and Loose Reasoning Is Morally Correct.” In Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, edited by J. Gregory Morrisett and Simon L. Peyton Jones, 206–217. ACM, 2006.

MLA   Click to copy
Danielsson, Nils Anders, et al. “Fast and Loose Reasoning Is Morally Correct.” Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, edited by J. Gregory Morrisett and Simon L. Peyton Jones, ACM, 2006, pp. 206–17, doi:10.1145/1111037.1111056.

@inproceedings{danielsson2006a,
  title = {Fast and loose reasoning is morally correct},
  year = {2006},
  pages = {206--217},
  publisher = {ACM},
  doi = {10.1145/1111037.1111056},
  author = {Danielsson, Nils Anders and Hughes, John and Jansson, Patrik and Gibbons, Jeremy},
  editor = {Morrisett, J. Gregory and Jones, Simon L. Peyton},
  booktitle = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006}
}