@inproceedings{lindley-2017-do, series={POPL ’17}, title={Do be do be do}, url={http://dx.doi.org/10.1145/3009837.3009897}, DOI={10.1145/3009837.3009897}, booktitle={Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages}, publisher={ACM}, author={Lindley, Sam and McBride, Conor and McLaughlin, Craig}, year={2017}, month=Jan, pages={500–514}, collection={POPL ’17} }