{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T05:43:50Z","timestamp":1784180630505,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":27,"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.1596561","type":"proceedings-article","created":{"date-parts":[[2009,9,1]],"date-time":"2009-09-01T13:53:09Z","timestamp":1251813189000},"page":"47-58","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["A functional I\/O system or, fun for freshman kids"],"prefix":"10.1145","author":[{"given":"Matthias","family":"Felleisen","sequence":"first","affiliation":[{"name":"Northwestern University, Boston, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert Bruce","family":"Findler","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew","family":"Flatt","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shriram","family":"Krishnamurthi","sequence":"additional","affiliation":[{"name":"Brown University, Providence, RI, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,8,31]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411260.1411270"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/647979.743383"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001258"},{"key":"e_1_3_2_2_4_1","volume-title":"A tutorial to the Clean Object I\/O library (version 1.2). Technical report","author":"Achten Peter","year":"2000","unstructured":"Peter Achten and Martin Wierich . A tutorial to the Clean Object I\/O library (version 1.2). Technical report , University of Nijmegen , February 2000 . Peter Achten and Martin Wierich. A tutorial to the Clean Object I\/O library (version 1.2). Technical report, University of Nijmegen, February 2000."},{"key":"e_1_3_2_2_5_1","volume-title":"Concurrent Programming in Erlang","author":"Armstrong Joe","year":"1996","unstructured":"Joe Armstrong , Robert Virding , Claes Wikstr\u00f6m , and Mike Williams . Concurrent Programming in Erlang ( 2 nd Edition). Prentice-Hall , 1996 . Joe Armstrong, Robert Virding, Claes Wikstr\u00f6m, and Mike Williams. Concurrent Programming in Erlang (2nd Edition). Prentice-Hall, 1996.","edition":"2"},{"key":"e_1_3_2_2_6_1","volume-title":"Introduction to Functional Programming","author":"Wadler Bird","year":"1998","unstructured":"Bird and Wadler . Introduction to Functional Programming ( 2 nd Edition). Prentice Hall PTR , 1998 . Bird and Wadler. Introduction to Functional Programming (2nd Edition). Prentice Hall PTR, 1998.","edition":"2"},{"key":"e_1_3_2_2_7_1","first-page":"146","volume-title":"Automated Reasoning and Its Applications: Essays in Honor of Larry Wos","author":"Robert","year":"1996","unstructured":"Robert S. Boyer and J Strother Moore. Mechanized reasoning about programs and computing machines . In R. Veroff, editor, Automated Reasoning and Its Applications: Essays in Honor of Larry Wos , pages 146 -- 176 . The MIT Press , Cambridge, Massachusetts , 1996 . URL citeseer.ist.psu.edu\/boyer96mechanized.html. Robert S. Boyer and J Strother Moore. Mechanized reasoning about programs and computing machines. In R. Veroff, editor, Automated Reasoning and Its Applications: Essays in Honor of Larry Wos, pages 146--176. The MIT Press, Cambridge, Massachusetts, 1996. URL citeseer.ist.psu.edu\/boyer96mechanized.html."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/507758.377440"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028704"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796803004805"},{"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.1145\/1637837.1637844"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1637837.1637843"},{"key":"e_1_3_2_2_14_1","first-page":"200","volume-title":"Proc. 7th Intern. ACL2 Symposium","author":"Eastlund Carl","year":"2007","unstructured":"Carl Eastlund , Dale Vaillancourt , and Matthias Felleisen . ACL2 for freshmen : First experiences . In Proc. 7th Intern. ACL2 Symposium , pages 200 -- 211 . ACM Press , 2007 . Carl Eastlund, Dale Vaillancourt, and Matthias Felleisen. ACL2 for freshmen: First experiences. In Proc. 7th Intern. ACL2 Symposium, pages 200--211. ACM Press, 2007."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_2_16_1","volume-title":"Matthew Flatt, and Shriram Krishnamurthi. How to Design Programs","author":"Felleisen Matthias","year":"2001","unstructured":"Matthias Felleisen , Robert Bruce Findler , Matthew Flatt, and Shriram Krishnamurthi. How to Design Programs . MIT Press , 2001 . URL http:\/\/www.htdp.org\/. Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi. How to Design Programs. MIT Press, 2001. URL http:\/\/www.htdp.org\/."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1076\/csed.14.1.55.23499"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005076"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004208"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277730"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_17"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/330777"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1204662"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_18"},{"key":"e_1_3_2_2_25_1","volume-title":"Real World Haskell","author":"O'Sullivan Bryan","year":"2008","unstructured":"Bryan O'Sullivan , Donald Stewart , and John Goerzen . Real World Haskell . O'Reilly Media, Inc. , 2008 . Bryan O'Sullivan, Donald Stewart, and John Goerzen. Real World Haskell. O'Reilly Media, Inc., 2008."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1227504.1227386"},{"key":"e_1_3_2_2_27_1","volume-title":"Haskell: the Craft of Functional Programming","author":"Thompson Simon","year":"1997","unstructured":"Simon Thompson . Haskell: the Craft of Functional Programming . Addison Wesley Longman Publishing Co., Inc. , 1997 . Simon Thompson. Haskell: the Craft of Functional Programming. Addison Wesley Longman Publishing Co., Inc., 1997."}],"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.1596561","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596550.1596561","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.1596561"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,31]]},"references-count":27,"alternative-id":["10.1145\/1596550.1596561","10.1145\/1596550"],"URL":"https:\/\/doi.org\/10.1145\/1596550.1596561","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1631687.1596561","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"}}]}}