{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:30Z","timestamp":1772163930848,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":26,"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.1159821","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"124-135","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Transactional events"],"prefix":"10.1145","author":[{"given":"Kevin","family":"Donnelly","sequence":"first","affiliation":[{"name":"Boston University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Fluet","sequence":"additional","affiliation":[{"name":"Cornell University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_1_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 . Prentice-Hall , second edition, 1996 . Joe Armstrong, Robert Virding, Claes Wikstr\u00f6m, and Mike Williams. Concurrent Programming in Erlang. Prentice-Hall, second edition, 1996."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996849"},{"key":"e_1_3_2_1_3_1","series-title":"Software Trends","first-page":"61","volume-title":"User Interface Software","author":"Gasner Emden R.","year":"1993","unstructured":"Emden R. Gasner and John H. Reppy . A multi-threaded high-order user interface toolkit . In Len Bass and Prasun Dewan, editors, User Interface Software , volume 1 of Software Trends , chapter 4, pages 61 -- 80 . John Wiley & Sons , 1993 . Emden R. Gasner and John H. Reppy. A multi-threaded high-order user interface toolkit. In Len Bass and Prasun Dewan, editors, User Interface Software, volume 1 of Software Trends, chapter 4, pages 61--80. John Wiley & Sons, 1993."},{"key":"e_1_3_2_1_4_1","unstructured":"Glasgow Haskell Compiler. http:\/\/www.haskell.org\/ghc.  Glasgow Haskell Compiler. http:\/\/www.haskell.org\/ghc."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949340"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088348.1088354"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165164"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351258"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/788017.788769"},{"key":"e_1_3_2_1_12_1","volume-title":"The Glasgow Functional Programming Workshop (GFPW)","author":"Karlsen Einar","year":"1997","unstructured":"Einar Karlsen . The UniForM concurrency toolkit and its extensions to Concurrent Haskell . In The Glasgow Functional Programming Workshop (GFPW) , 1997 . Einar Karlsen. The UniForM concurrency toolkit and its extensions to Concurrent Haskell. In The Glasgow Functional Programming Workshop (GFPW), 1997."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086390"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378858"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_16_1","volume-title":"The essence of concurrent ML","author":"Panangaden Prakash","year":"1997","unstructured":"Prakash Panangaden and John Reppy . The essence of concurrent ML . In Flemming Nielson, editor, ML with Concurrency : Design, Analysis, Implementation, and Application, Springer Monographs in Computer Science. Springer-Verlag , 1997 . Prakash Panangaden and John Reppy. The essence of concurrent ML. In Flemming Nielson, editor, ML with Concurrency: Design, Analysis, Implementation, and Application, Springer Monographs in Computer Science. Springer-Verlag, 1997."},{"key":"e_1_3_2_1_17_1","series-title":"NATO Science Series: Computer & Systems Sciences","volume-title":"Engineering Theories of Software Construction","author":"Jones Simon Peyton","year":"2001","unstructured":"Simon Peyton Jones . Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell . In T. Hoare, B. Broy, and R. Steinbr\u00fcggen, editors, Engineering Theories of Software Construction , volume 180 of NATO Science Series: Computer & Systems Sciences . IOS Press , 2001 . Simon Peyton Jones. Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell. In T. Hoare, B. Broy, and R. Steinbr\u00fcggen, editors, Engineering Theories of Software Construction, volume 180 of NATO Science Series: Computer & Systems Sciences. IOS Press, 2001."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237794"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158524"},{"issue":"2","key":"e_1_3_2_1_20_1","first-page":"133","article-title":"A concurrent window system","volume":"2","author":"Pike Rob","year":"1989","unstructured":"Rob Pike . A concurrent window system . Computing Systems , 2 ( 2 ): 133 -- 153 , 1989 . Rob Pike. A concurrent window system. Computing Systems, 2(2):133--153, 1989.","journal-title":"Computing Systems"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/317040"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507655"},{"key":"e_1_3_2_1_23_1","volume-title":"The \u03a0-calculus: A Theory of Mobile Processes","author":"Sanggiorgi Davide","year":"2001","unstructured":"Davide Sanggiorgi and David Walker . The \u03a0-calculus: A Theory of Mobile Processes . Cambridge University Press , 2001 . Davide Sanggiorgi and David Walker. The \u03a0-calculus: A Theory of Mobile Processes. Cambridge University Press, 2001."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232645"},{"key":"e_1_3_2_1_25_1","series-title":"Lecture Notes in Computer Science","volume-title":"Advanced Functional Programming","author":"Wadler Philip","year":"1995","unstructured":"Philip Wadler . Monads for functional programming . In Johan Jeuring and Erik Meijer, editors, Advanced Functional Programming , volume 925 of Lecture Notes in Computer Science . Springer-Verlag , 1995 . Philip Wadler. Monads for functional programming. In Johan Jeuring and Erik Meijer, editors, Advanced Functional Programming, volume 925 of Lecture Notes in Computer Science. Springer-Verlag, 1995."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_24"}],"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.1159821","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T16:03:31Z","timestamp":1693843411000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159803.1159821"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":26,"alternative-id":["10.1145\/1159803.1159821","10.1145\/1159803"],"URL":"https:\/\/doi.org\/10.1145\/1159803.1159821","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1160074.1159821","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"}}]}}