%0 Conference Paper %1 conf/popl/LindleyMM17 %A Lindley, Sam %A McBride, Conor %A McLaughlin, Craig %B POPL %D 2017 %E Castagna, Giuseppe %E Gordon, Andrew D. %I ACM %K %P 500-514 %T Do be do be do. %U http://dblp.uni-trier.de/db/conf/popl/popl2017.html#LindleyMM17 %@ 978-1-4503-4660-3

@inproceedings{conf/popl/LindleyMM17, added-at = {2023-12-13T06:37:03.000+0100}, author = {Lindley, Sam and McBride, Conor and McLaughlin, Craig}, biburl = {https://www.bibsonomy.org/bibtex/245983d4e001b81925020d745de87cc5b/admin}, booktitle = {POPL}, crossref = {conf/popl/2017}, editor = {Castagna, Giuseppe and Gordon, Andrew D.}, ee = {http://dl.acm.org/citation.cfm?id=3009897}, interhash = {af9d8ee1738b593b5bfdb0c1dfcedbf9}, intrahash = {45983d4e001b81925020d745de87cc5b}, isbn = {978-1-4503-4660-3}, keywords = {}, pages = {500-514}, publisher = {ACM}, timestamp = {2023-12-13T06:37:03.000+0100}, title = {Do be do be do.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2017.html#LindleyMM17}, year = 2017 }