{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:19Z","timestamp":1772163979890,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159803.1159823","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"148-159","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Modelling deterministic concurrent I\/O"],"prefix":"10.1145","author":[{"given":"Malcolm","family":"Dowse","sequence":"first","affiliation":[{"name":"Trinity College"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Butterfield","sequence":"additional","affiliation":[{"name":"Trinity College"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001258"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/69558.69562"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500070109"},{"key":"e_1_3_2_1_4_1","first-page":"55","volume-title":"Checking Interference with Fractional Permissions","author":"Boyland John","year":"2003","unstructured":"John Boyland . Checking Interference with Fractional Permissions . In Radhia Cousot, editor, SAS, volume LNCS 2694 , pages 55 -- 72 . Springer , 2003 .]] John Boyland. Checking Interference with Fractional Permissions. In Radhia Cousot, editor, SAS, volume LNCS2694, pages 55--72. Springer, 2003.]]"},{"key":"e_1_3_2_1_5_1","first-page":"72","volume-title":"Proceedings of IFL2001","volume":"2312","author":"Butterfield Andrew","year":"2001","unstructured":"Andrew Butterfield and Glenn Strong . Proving Correctness of Programs with I\/O - a Paradigm Comparison. In Thomas Arts and Markus Mohnen, editors , Proceedings of IFL2001 , volume LNCS 2312 , pages 72 -- 87 , 2001 .]] Andrew Butterfield and Glenn Strong. Proving Correctness of Programs with I\/O - a Paradigm Comparison. In Thomas Arts and Markus Mohnen, editors, Proceedings of IFL2001, volume LNCS2312, pages 72--87, 2001.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292564"},{"key":"e_1_3_2_1_7_1","first-page":"55","volume-title":"Proceedings of IFL2001","author":"de Mol Maarten","year":"2001","unstructured":"Maarten de Mol , Marko van Eekelen , and Rinus Plasmeijer . Theorem Proving for Functional Programmers . In Thomas Arts and Markus Mohnen, editors, Proceedings of IFL2001 , volume LNCS 2312 , pages 55 -- 71 . Springer-Verlag , 2001 .]] Maarten de Mol, Marko van Eekelen, and Rinus Plasmeijer. Theorem Proving for Functional Programmers. In Thomas Arts and Markus Mohnen, editors, Proceedings of IFL2001, volume LNCS2312, pages 55--71. Springer-Verlag, 2001.]]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431664_11"},{"key":"e_1_3_2_1_11_1","first-page":"S2670","article-title":"make","volume":"2002","author":"Dowse Malcolm","year":"2002","unstructured":"Malcolm Dowse , Glenn Strong , and Andrew Butterfield . Proving \" make \" Correct - I\/O Proofs in Haskell and Clean. In Ricardo Pe\u00f1a and Thomas Arts, editors, Proceedings of IFL 2002 , volume LNC S2670 , pages 68--83, 2002 .]] Malcolm Dowse, Glenn Strong, and Andrew Butterfield. Proving \"make\" Correct - I\/O Proofs in Haskell and Clean. In Ricardo Pe\u00f1a and Thomas Arts, editors, Proceedings of IFL 2002, volume LNCS2670, pages 68--83, 2002.]]","journal-title":"Correct - I\/O Proofs in Haskell and Clean. In Ricardo Pe\u00f1a and Thomas Arts, editors, Proceedings of IFL"},{"key":"e_1_3_2_1_12_1","volume-title":"Functional Programming and Input\/Output. Distinguished Dissertations in Computer Science","author":"Gordon Andrew","year":"1994","unstructured":"Andrew Gordon . Functional Programming and Input\/Output. Distinguished Dissertations in Computer Science . Cambridge University Press , 1994 .]] Andrew Gordon. Functional Programming and Input\/Output. Distinguished Dissertations in Computer Science. Cambridge University Press, 1994.]]"},{"key":"e_1_3_2_1_13_1","series-title":"Notes Series BRICS-NS-95-3","volume-title":"Bisimilarity as a Theory of Functional Programming: Mini-course","author":"Gordon Andrew","year":"1995","unstructured":"Andrew Gordon . Bisimilarity as a Theory of Functional Programming: Mini-course . Notes Series BRICS-NS-95-3 , BRICS, Department of Computer Science , University of Aarhus, July 1995 .]] Andrew Gordon. Bisimilarity as a Theory of Functional Programming: Mini-course. Notes Series BRICS-NS-95-3, BRICS, Department of Computer Science, University of Aarhus, July 1995.]]"},{"key":"e_1_3_2_1_14_1","volume-title":"May 20","author":"Hall Cordelia","year":"1993","unstructured":"Cordelia Hall and Kevin Hammond . A Dynamic Semantics for Haskell (draft) , May 20 1993 .]] Cordelia Hall and Kevin Hammond. A Dynamic Semantics for Haskell (draft), May 20 1993.]]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086380"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"key":"e_1_3_2_1_17_1","first-page":"73","volume-title":"Proceedings of IFL '98","volume":"1595","author":"Holyer Ian","year":"1999","unstructured":"Ian Holyer and Eleni Spiliopoulou . Concurrent Monadic Interfacing. In Kevin Hammond, Antony Davie, and Chris Clack, editors , Proceedings of IFL '98 , volume LNCS 1595 , pages 73 -- 89 . Springer-Verlag , 1999 .]] Ian Holyer and Eleni Spiliopoulou. Concurrent Monadic Interfacing. In Kevin Hammond, Antony Davie, and Chris Clack, editors, Proceedings of IFL '98, volume LNCS1595, pages 73--89. Springer-Verlag, 1999.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178246"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/549659"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-48092-7_6","volume-title":"Correct System Design, Recent Insight and Advances","author":"Nielson Flemming","year":"1999","unstructured":"Flemming Nielson and Hanne Riis Nielson . Type and Effect Systems . In Correct System Design, Recent Insight and Advances , pages 114 -- 136 , London, UK , 1999 . Springer-Verlag .]] Flemming Nielson and Hanne Riis Nielson. Type and Effect Systems. In Correct System Design, Recent Insight and Advances, pages 114--136, London, UK, 1999. Springer-Verlag.]]"},{"key":"e_1_3_2_1_22_1","volume-title":"Wearing the Hair Shirt: A retrospective on Haskell. Invited talk at POPL","author":"Jones Simon Peyton","year":"2003","unstructured":"Simon Peyton Jones . Wearing the Hair Shirt: A retrospective on Haskell. Invited talk at POPL 2003 .]] Simon Peyton Jones. Wearing the Hair Shirt: A retrospective on Haskell. Invited talk at POPL 2003.]]"},{"key":"e_1_3_2_1_23_1","first-page":"47","volume-title":"Engineering theories of software construction, Marktoberdorf Summer School","author":"Jones Simon Peyton","year":"2000","unstructured":"Simon Peyton Jones . Tackling the Awkward Squad - monadic input\/output, concurrency, exceptions, and foreign language calls in Haskell . In CAR Hoare, M Broy, and R Stein-brueggen, editors, Engineering theories of software construction, Marktoberdorf Summer School 2000 , pages 47 -- 96 . IOS Press , 2001.]] Simon Peyton Jones. Tackling the Awkward Squad - monadic input\/output, concurrency, exceptions, and foreign language calls in Haskell. In CAR Hoare, M Broy, and R Stein-brueggen, editors, Engineering theories of software construction, Marktoberdorf Summer School 2000, pages 47--96. IOS Press, 2001.]]"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237794"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158524"},{"key":"e_1_3_2_1_26_1","volume-title":"Functional Programming and Parallel Graph Rewriting","author":"Plasmeijer Rinus","year":"1993","unstructured":"Rinus Plasmeijer and Marko van Eekelen . Functional Programming and Parallel Graph Rewriting . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 1993 .]] Rinus Plasmeijer and Marko van Eekelen. Functional Programming and Parallel Graph Rewriting. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1993.]]"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/646732.703871"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086379"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.2613"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/15042.15053"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143169"}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","location":"Portland Oregon USA","acronym":"ICFP06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159803.1159823","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T16:03:27Z","timestamp":1693843407000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159803.1159823"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":29,"alternative-id":["10.1145\/1159803.1159823","10.1145\/1159803"],"URL":"https:\/\/doi.org\/10.1145\/1159803.1159823","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1160074.1159823","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}