{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:43Z","timestamp":1772164003835,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,22]],"date-time":"2011-09-22T00:00:00Z","timestamp":1316649600000},"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,22]]},"DOI":"10.1145\/2034675.2034686","type":"proceedings-article","created":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T11:13:10Z","timestamp":1316776390000},"page":"83-94","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Prettier concurrency"],"prefix":"10.1145","author":[{"given":"Daan","family":"Leijen","sequence":"first","affiliation":[{"name":"Microsoft Research, Redmond, WA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Fahndrich","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Burckhardt","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,9,22]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328449"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/223784.223785"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869515"},{"key":"e_1_3_2_2_4_1","volume-title":"Case for Deterministic Conflict Resolution. In The 2nd Workshop on Determinism and Correctness in Parallel Programming","author":"Burckhardt Sebastian","year":"2011","unstructured":"Sebastian Burckhardt , Manuel Fahndrich , and Daan Leijen . Roll Forward , not Back -- A Case for Deterministic Conflict Resolution. In The 2nd Workshop on Determinism and Correctness in Parallel Programming , 2011 . Sebastian Burckhardt, Manuel Fahndrich, and Daan Leijen. Roll Forward, not Back -- A Case for Deterministic Conflict Resolution. In The 2nd Workshop on Determinism and Correctness in Parallel Programming, 2011."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987211.1987218"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1007\/3-540-44681-8_76","volume-title":"Euro-Par 2001: Parallel Processing, LNCS 2150","author":"Chakravarty Manuel M. T.","year":"2001","unstructured":"Manuel M. T. Chakravarty , Gabriele Keller , Roman Lechtchinsky , and Wolf Pfannenstiel . Nepal -- Nested Data-Parallelism in Haskell . In Euro-Par 2001: Parallel Processing, LNCS 2150 , pages 524 -- 534 , 2001 . Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, and Wolf Pfannenstiel. Nepal -- Nested Data-Parallelism in Haskell. In Euro-Par 2001: Parallel Processing, LNCS 2150, pages 524--534, 2001."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071615"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1583991.1584017"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345237"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706304"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250759"},{"key":"e_1_3_2_2_14_1","volume-title":"Haskell revisions. Implementation","author":"Leijen Daan","year":"2011","unstructured":"Daan Leijen . Haskell revisions. Implementation available at www.research.microsoft.com\/ daan\/hsrevisions, 2011 . Daan Leijen. Haskell revisions. Implementation available at www.research.microsoft.com\/ daan\/hsrevisions, 2011."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/331960.331977"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863535"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596563"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/319996.319998"},{"key":"e_1_3_2_2_19_1","volume-title":"Concurrency Control and Recovery in Database Systems","author":"Bernstein P.A.","year":"1987","unstructured":"P.A. Bernstein , V. Hadzilacos , and N. Goodman . Concurrency Control and Recovery in Database Systems . Addison-Wesley , 1987 . P.A.Bernstein, V.Hadzilacos, and N.Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987."},{"key":"e_1_3_2_2_20_1","volume-title":"Beautiful concurrency","author":"Jones Simon Peyton","year":"2007","unstructured":"Simon Peyton Jones . Beautiful concurrency , 2007 . Appears as a chapter in \"Beautiful Code : Leading programmers explain how they think\" (O'Reilly) . Simon Peyton Jones. Beautiful concurrency, 2007. Appears as a chapter in \"Beautiful Code: Leading programmers explain how they think\" (O'Reilly)."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237794"},{"key":"e_1_3_2_2_22_1","volume-title":"Chakravarty. Harnessing the Multicores: Nested Data Parallelism in Haskell. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008)","author":"Jones Simon Peyton","year":"2008","unstructured":"Simon Peyton Jones , Roman Leshchinskiy , Gabrielle Keller , and Manuel M. T . Chakravarty. Harnessing the Multicores: Nested Data Parallelism in Haskell. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008) , 2008 . Simon Peyton Jones, Roman Leshchinskiy, Gabrielle Keller, and Manuel M. T. Chakravarty. Harnessing the Multicores: Nested Data Parallelism in Haskell. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008), 2008."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01018827"},{"key":"e_1_3_2_2_25_1","volume-title":"Workshop on Transactional Computing (TRANSACT)","author":"Riegel T.","year":"2006","unstructured":"T. Riegel , C. Fetzer , and P. Felber . Snapshot isolation for software transactional memory . In Workshop on Transactional Computing (TRANSACT) , 2006 . T. Riegel, C. Fetzer, and P. Felber. Snapshot isolation for software transactional memory. In Workshop on Transactional Computing (TRANSACT), 2006."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002967"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231392"}],"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 4th ACM symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034675.2034686","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2034675.2034686","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:26Z","timestamp":1750225706000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034675.2034686"}},"subtitle":["purely functional concurrent revisions"],"short-title":[],"issued":{"date-parts":[[2011,9,22]]},"references-count":26,"alternative-id":["10.1145\/2034675.2034686","10.1145\/2034675"],"URL":"https:\/\/doi.org\/10.1145\/2034675.2034686","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2096148.2034686","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,9,22]]},"assertion":[{"value":"2011-09-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}