{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:57Z","timestamp":1772163957810,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T00:00:00Z","timestamp":1316390400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,19]]},"DOI":"10.1145\/2034773.2034777","type":"proceedings-article","created":{"date-parts":[[2011,9,20]],"date-time":"2011-09-20T09:50:16Z","timestamp":1316512216000},"page":"2-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":46,"title":["Just do it"],"prefix":"10.1145","author":[{"given":"Jeremy","family":"Gibbons","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Hinze","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,9,19]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"N. Benton J. Hughes and E. Moggi . Monads and effects . In G. Barthe P. Dybjer L. Pinto and J. Saraiva editors APPSEM 2000 volume 2395 of LNCS pages 42 -- 122 . Springer 2002. N. Benton J. Hughes and E. Moggi. Monads and effects. In G. Barthe P. Dybjer L. Pinto and J. Saraiva editors APPSEM 2000 volume 2395 of LNCS pages 42--122. Springer 2002."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351257"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796805005721"},{"key":"e_1_3_2_2_4_1","volume-title":"Mar.","author":"Gibbons J.","year":"2011"},{"key":"e_1_3_2_2_5_1","series-title":"LNM","first-page":"68","volume-title":"Categorical Aspects of Topology and Analysis","author":"Giry M.","year":"1981"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1812941.1812945"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054101000436"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19850310905"},{"key":"e_1_3_2_2_9_1","volume-title":"TFP","author":"Hutton G.","year":"2008"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.019"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/77350.77370"},{"key":"e_1_3_2_2_12_1","volume-title":"The category of probabilistic mappings. Preprint - we haven't managed to obtain a copy of this manuscript","author":"Lawvere F. W.","year":"1962"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"e_1_3_2_2_15_1","volume-title":"Abstraction, Refinement and Proof for Probabilistic Systems","author":"McIver A.","year":"2005"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006953"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411237"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964024"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1523280"},{"key":"e_1_3_2_2_21_1","series-title":"NATO Science Series","first-page":"47","volume-title":"Engineering Theories of Software Construction","author":"Peyton Jones S.","year":"2001"},{"key":"e_1_3_2_2_22_1","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"Peyton Jones S.","year":"2003"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158524"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/646794.704856"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023064908962"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_7"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503288"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195367898.001.0001","volume-title":"The Monty Hall Problem: The Remarkable Story of Math's Most Contentious Brain Teaser","author":"Rosenhouse J.","year":"2009"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.11.020"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_30"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291206"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129505005074"},{"key":"e_1_3_2_2_35_1","unstructured":"M. Vos Savant. Ask Marilyn. Parade Magazine 9th September 1990. See also http:\/\/www.marilynvossavant.com\/articles\/gameshow.html. M. Vos Savant. Ask Marilyn. Parade Magazine 9th September 1990. See also http:\/\/www.marilynvossavant.com\/articles\/gameshow.html."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/24697.24706"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001560"},{"key":"e_1_3_2_2_38_1","volume-title":"Program Design Calculi: Proceedings of the Marktoberdorf Summer School","author":"Wadler P.","year":"1992"},{"key":"e_1_3_2_2_39_1","unstructured":"A. Yakeley textitet al. MonadPlus reform proposal. http:\/\/www.haskell.org\/haskellwiki\/MonadPlus_reform_proposal Jan. 2006. A. Yakeley textitet al. MonadPlus reform proposal. http:\/\/www.haskell.org\/haskellwiki\/MonadPlus_reform_proposal Jan. 2006."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/645835.670408"}],"event":{"name":"ICFP '11: ACM SIGPLAN International Conference on Functional Programming","location":"Tokyo Japan","acronym":"ICFP '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 16th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034773.2034777","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2034773.2034777","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:38Z","timestamp":1750225718000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034773.2034777"}},"subtitle":["simple monadic equational reasoning"],"short-title":[],"issued":{"date-parts":[[2011,9,19]]},"references-count":37,"alternative-id":["10.1145\/2034773.2034777","10.1145\/2034773"],"URL":"https:\/\/doi.org\/10.1145\/2034773.2034777","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2034574.2034777","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,9,19]]},"assertion":[{"value":"2011-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}