Sam Lindley, Conor McBride, Craig McLaughlin
Do be do be do
POPL, 2017.
@inproceedings{POPL-2017-LindleyMM,
author = "Sam Lindley and Conor McBride and Craig McLaughlin",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "500--514",
publisher = "{ACM}",
title = "{Do be do be do}",
year = 2017,
}