{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:01Z","timestamp":1772164021830,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T00:00:00Z","timestamp":1251676800000},"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":[[2009,8,31]]},"DOI":"10.1145\/1596550.1596556","type":"proceedings-article","created":{"date-parts":[[2009,9,1]],"date-time":"2009-09-01T13:53:09Z","timestamp":1251813189000},"page":"11-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Purely functional lazy non-deterministic programming"],"prefix":"10.1145","author":[{"given":"Sebastian","family":"Fischer","sequence":"first","affiliation":[{"name":"Christian-Albrechts University, Kiel, Germany"}]},{"given":"Oleg","family":"Kiselyov","sequence":"additional","affiliation":[{"name":"FNMOC, Monterey, CA, USA"}]},{"given":"Chung-chieh","family":"Shan","sequence":"additional","affiliation":[{"name":"Rutgers University, Piscataway, NJ, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,8,31]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Dept. of Microelectronics and Information Technology","author":"Acosta-G\u00f3mez Alfonso","unstructured":"Acosta-G\u00f3mez , Alfonso . 2007. Hardware synthesis in ForSyDe. Master's thesis , Dept. of Microelectronics and Information Technology , Royal Institute of Technology , Stockholm, Sweden . Acosta-G\u00f3mez, Alfonso. 2007. Hardware synthesis in ForSyDe. Master's thesis, Dept. of Microelectronics and Information Technology, Royal Institute of Technology, Stockholm, Sweden."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.01.001"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"crossref","unstructured":"Antoy Sergio and Michael Hanus. 2002. Functional logic design patterns. In FLOPS 67--87.   Antoy Sergio and Michael Hanus. 2002. Functional logic design patterns. In FLOPS 67--87.","DOI":"10.1007\/3-540-45788-7_4"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11799573_9"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002724"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199507"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002827"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289440"},{"key":"e_1_3_2_2_9_1","first-page":"195","article-title":"The Kiel Curry System KiCS","volume":"2007","author":"Bra\u00dfel Bernd","year":"2009","unstructured":"Bra\u00dfel , Bernd , and Frank Huch . 2009 . The Kiel Curry System KiCS . In WLP 2007 , 195 -- 205 . Bra\u00dfel, Bernd, and Frank Huch. 2009. The Kiel Curry System KiCS. In WLP 2007, 195--205.","journal-title":"WLP"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"crossref","unstructured":"Christiansen Jan and Sebastian Fischer. 2008. EasyCheck - test data for free. In FLOPS 322--336.   Christiansen Jan and Sebastian Fischer. 2008. EasyCheck - test data for free. In FLOPS 322--336.","DOI":"10.1007\/978-3-540-78969-7_23"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2007.25"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292557"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273930"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480903"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10029-8"},{"key":"e_1_3_2_2_18_1","volume-title":"Tenenbaum","author":"Goodman Noah","year":"2008","unstructured":"Goodman , Noah , Vikash K . Mansinghka , Daniel Roy , Keith Bonawitz , and Joshua B . Tenenbaum . 2008 . Church : A language for generative models. In UAI , 220--229. Goodman, Noah, Vikash K. Mansinghka, Daniel Roy, Keith Bonawitz, and Joshua B. Tenenbaum. 2008. Church: A language for generative models. In UAI, 220--229."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(87)90016-1"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351258"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242477"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.2.98"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03034-5_17"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086390"},{"key":"e_1_3_2_2_25_1","unstructured":"Koller Daphne David McAllester and Avi Pfeffer. 1997. Effective Bayesian inference for stochastic programs. In AAAI 740--747.   Koller Daphne David McAllester and Avi Pfeffer. 1997. Effective Bayesian inference for stochastic programs. In AAAI 740--747."},{"key":"e_1_3_2_2_26_1","volume-title":"Peyton Jones","author":"L\u00e4mmel Ralf","year":"2003","unstructured":"L\u00e4mmel , Ralf , and Simon L . Peyton Jones . 2003 . Scrap your boilerplate: A practical design pattern for generic programming. In TLDI , 26--37. L\u00e4mmel, Ralf, and Simon L. Peyton Jones. 2003. Scrap your boilerplate: A practical design pattern for generic programming. In TLDI, 26--37."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158618"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159840"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273947"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"crossref","unstructured":"L\u00f3pez-Fraguas Francisco Javier Juan Rodr\u00edguez-Hortal\u00e1 and Jaime S\u00e1nchez-Hern\u00e1ndez. 2008. Rewriting and call-time choice: The HO case. In FLOPS 147--162.   L\u00f3pez-Fraguas Francisco Javier Juan Rodr\u00edguez-Hortal\u00e1 and Jaime S\u00e1nchez-Hern\u00e1ndez. 2008. Rewriting and call-time choice: The HO case. In FLOPS 147--162.","DOI":"10.1007\/978-3-540-78969-7_12"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796898003037"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"crossref","unstructured":"McCarthy John. 1963. A basis for a mathematical theory of computation. In Computer programming and formal systems 33--70. North-Holland.  McCarthy John. 1963. A basis for a mathematical theory of computation. In Computer programming and formal systems 33--70. North-Holland.","DOI":"10.1016\/S0049-237X(08)72018-4"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1038\/218019a0"},{"key":"e_1_3_2_2_34_1","unstructured":"MonadPlus. 2008. MonadPlus. http:\/\/www.haskell.org\/haskellwiki\/MonadPlus.  MonadPlus. 2008. MonadPlus. http:\/\/www.haskell.org\/haskellwiki\/MonadPlus."},{"key":"e_1_3_2_2_35_1","volume-title":"Proceedings of the workshop on state in programming languages.","author":"Morrisett J. Gregory.","year":"1993","unstructured":"Morrisett , J. Gregory. 1993 . Refining first-class stores . In Proceedings of the workshop on state in programming languages. Morrisett, J. Gregory. 1993. Refining first-class stores. In Proceedings of the workshop on state in programming languages."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291207"},{"key":"e_1_3_2_2_37_1","unstructured":"Nicollet Victor et al. 2009. Lazy and threads. http:\/\/caml.inria.fr\/pub\/ml-archives\/caml-list\/2009\/02\/9fc4e4a897ce7a356674660c8cfa5ac0.fr.html.  Nicollet Victor et al. 2009. Lazy and threads. http:\/\/caml.inria.fr\/pub\/ml-archives\/caml-list\/2009\/02\/9fc4e4a897ce7a356674660c8cfa5ac0.fr.html."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004051"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.32.0114"},{"key":"e_1_3_2_2_40_1","unstructured":"Runciman Colin Matthew Naylor and Fredrik Lindblad. 2008.  Runciman Colin Matthew Naylor and Fredrik Lindblad. 2008."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411292"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800003749"},{"key":"e_1_3_2_2_44_1","unstructured":"Tolmach Andrew and Sergio Antoy. 2003. A monadic semantics for core Curry. In WFLP 33--46. Valencia Spain.  Tolmach Andrew and Sergio Antoy. 2003. A monadic semantics for core Curry. In WFLP 33--46. Valencia Spain."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016865"},{"key":"e_1_3_2_2_46_1","unstructured":"de Vries Edsko. 2009. Just how unsafe is unsafe. http:\/\/www.haskell.org\/pipermail\/haskell-cafe\/2009-February\/055201.html.  de Vries Edsko. 2009. Just how unsafe is unsafe. http:\/\/www.haskell.org\/pipermail\/haskell-cafe\/2009-February\/055201.html."},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"crossref","unstructured":"Wadler Philip L. 1985. How to replace failure by a list of successes: A method for exception handling backtracking and pattern matching in lazy functional languages. In FPCA 113--128.   Wadler Philip L. 1985. How to replace failure by a list of successes: A method for exception handling backtracking and pattern matching in lazy functional languages. In FPCA 113--128.","DOI":"10.1007\/3-540-15975-4_33"}],"event":{"name":"ICFP '09: ACM SIGPLAN International Conference on Functional Programming","location":"Edinburgh Scotland","acronym":"ICFP '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 14th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596550.1596556","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596550.1596556","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:23:28Z","timestamp":1750235008000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596550.1596556"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,31]]},"references-count":45,"alternative-id":["10.1145\/1596550.1596556","10.1145\/1596550"],"URL":"https:\/\/doi.org\/10.1145\/1596550.1596556","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1631687.1596556","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,8,31]]},"assertion":[{"value":"2009-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}