%0 Conference Paper %1 conf/esop/DownenSAJ19 %A Downen, Paul %A Sullivan, Zachary %A Ariola, Zena M. %A Jones, Simon Peyton %B ESOP %D 2019 %E Caires, Luís %I Springer %K dblp %P 119-146 %T Codata in Action. %U http://dblp.uni-trier.de/db/conf/esop/esop2019.html#DownenSAJ19 %V 11423 %@ 978-3-030-17184-1

@inproceedings{conf/esop/DownenSAJ19, added-at = {2021-07-25T00:00:00.000+0200}, author = {Downen, Paul and Sullivan, Zachary and Ariola, Zena M. and Jones, Simon Peyton}, biburl = {https://www.bibsonomy.org/bibtex/20b69f9215f953428db3db1eb65640225/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2019}, editor = {Caires, Luís}, ee = {https://doi.org/10.1007/978-3-030-17184-1_5}, interhash = {b772b0378cb31035d285e73ea814c9cd}, intrahash = {0b69f9215f953428db3db1eb65640225}, isbn = {978-3-030-17184-1}, keywords = {dblp}, pages = {119-146}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:33:53.000+0200}, title = {Codata in Action.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2019.html#DownenSAJ19}, volume = 11423, year = 2019 }