%0 Conference Paper %1 conf/birthday/BentonK0N16 %A Benton, Nick %A Kennedy, Andrew %A Hofmann, Martin %A Nigam, Vivek %B A List of Successes That Can Change the World %D 2016 %E Lindley, Sam %E McBride, Conor %E Trinder, Philip W. %E Sannella, Donald %I Springer %K dblp %P 56-72 %T Counting Successes: Effects and Transformations for Non-deterministic Programs. %U http://dblp.uni-trier.de/db/conf/birthday/wadler2016.html#BentonK0N16 %V 9600 %@ 978-3-319-30935-4

@inproceedings{conf/birthday/BentonK0N16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Benton, Nick and Kennedy, Andrew and Hofmann, Martin and Nigam, Vivek}, biburl = {https://www.bibsonomy.org/bibtex/2a867f4afc5082982b4b53b3d65e92f86/dblp}, booktitle = {A List of Successes That Can Change the World}, crossref = {conf/birthday/2016wadler}, editor = {Lindley, Sam and McBride, Conor and Trinder, Philip W. and Sannella, Donald}, ee = {https://doi.org/10.1007/978-3-319-30936-1_3}, interhash = {884649e7272d1cb69ee650d4ea719e3b}, intrahash = {a867f4afc5082982b4b53b3d65e92f86}, isbn = {978-3-319-30935-4}, keywords = {dblp}, pages = {56-72}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:23:06.000+0200}, title = {Counting Successes: Effects and Transformations for Non-deterministic Programs.}, url = {http://dblp.uni-trier.de/db/conf/birthday/wadler2016.html#BentonK0N16}, volume = 9600, year = 2016 }