%0 Conference Paper %1 conf/pldi/SaarikiviVMM17 %A Saarikivi, Olli %A Veanes, Margus %A Mytkowicz, Todd %A Musuvathi, Madan %B PLDI %D 2017 %E Cohen, Albert %E Vechev, Martin T. %I ACM %K dblp %P 17-32 %T Fusing effectful comprehensions. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2017.html#SaarikiviVMM17 %@ 978-1-4503-4988-8

@inproceedings{conf/pldi/SaarikiviVMM17, added-at = {2021-06-23T00:00:00.000+0200}, author = {Saarikivi, Olli and Veanes, Margus and Mytkowicz, Todd and Musuvathi, Madan}, biburl = {https://www.bibsonomy.org/bibtex/21d4bd33b633b492e2190a7630bfb3fc6/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2017}, editor = {Cohen, Albert and Vechev, Martin T.}, ee = {https://doi.org/10.1145/3140587.3062362}, interhash = {3e54487ef4a56db5d60f44d6f4035dd0}, intrahash = {1d4bd33b633b492e2190a7630bfb3fc6}, isbn = {978-1-4503-4988-8}, keywords = {dblp}, pages = {17-32}, publisher = {ACM}, timestamp = {2024-04-09T18:59:22.000+0200}, title = {Fusing effectful comprehensions.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2017.html#SaarikiviVMM17}, year = 2017 }