{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T15:26:09Z","timestamp":1767108369365,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,9,3]],"date-time":"2009-09-03T00:00:00Z","timestamp":1251936000000},"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,9,3]]},"DOI":"10.1145\/1596638.1596648","type":"proceedings-article","created":{"date-parts":[[2009,9,8]],"date-time":"2009-09-08T12:53:09Z","timestamp":1252414389000},"page":"69-80","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["A compositional theory for STM Haskell"],"prefix":"10.1145","author":[{"given":"Johannes","family":"Borgstr\u00f6m","sequence":"first","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}]},{"given":"Karthikeyan","family":"Bhargavan","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}]},{"given":"Andrew D.","family":"Gordon","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2009,9,3]]},"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","series-title":"LNCS","first-page":"48","volume-title":"Proc. ESOP'07","author":"ACCIAI L.","year":"2007","unstructured":"ACCIAI , L. , BOREALE , M. , AND DAL-ZILIO , S. A concurrent calculus with atomic transactions . In Proc. ESOP'07 ( 2007 ), R. D. Nicola, Ed ., vol. 4421 of LNCS , Springer , pp. 48 -- 63 . ACCIAI, L., BOREALE, M., AND DAL-ZILIO, S. A concurrent calculus with atomic transactions. In Proc. ESOP'07 (2007), R. D. Nicola, Ed., vol. 4421 of LNCS, Springer, pp. 48--63."},{"key":"e_1_3_2_2_4_1","volume-title":"Mobile ambient synchronization. Technical Note 1997-013","author":"CARDELLI L.","year":"1997","unstructured":"CARDELLI , L. Mobile ambient synchronization. Technical Note 1997-013 , Digital Equipment Corporation, Systems Research Center , 1997 . CARDELLI, L. Mobile ambient synchronization. Technical Note 1997-013, Digital Equipment Corporation, Systems Research Center, 1997."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/647318.723475"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.05.002"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85361-9_6"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949340"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1378704.1378725"},{"key":"e_1_3_2_2_12_1","volume-title":"Proc. TRANSACT'06","author":"HARRIS T.","year":"2006","unstructured":"HARRIS , T. , AND PEYTON JONES , S. Transactional memory with data invariants . In Proc. TRANSACT'06 ( 2006 ). HARRIS, T., AND PEYTON JONES, S. Transactional memory with data invariants. In Proc. TRANSACT'06 (2006)."},{"key":"e_1_3_2_2_13_1","volume-title":"The Symposium on Trends in Functional Programming","author":"HU L.","year":"2008","unstructured":"HU , L. , AND HUTTON , G. Towards a verified implementation of software transactional memory . In The Symposium on Trends in Functional Programming ( 2008 ). To appear. HU, L., AND HUTTON, G. Towards a verified implementation of software transactional memory. In The Symposium on Trends in Functional Programming (2008). To appear."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11964681_8"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.2.98"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.03.005"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111050"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"e_1_3_2_2_19_1","volume-title":"Communication and Concurrency","author":"MILNER R.","year":"1989","unstructured":"MILNER , R. Communication and Concurrency . Prentice Hall , 1989 . MILNER, R. Communication and Concurrency. Prentice Hall, 1989."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328448"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1400751.1400816"},{"key":"e_1_3_2_2_23_1","volume-title":"Presentation given at the 1996 Usenix Annual Technical Conference, January","author":"OUSTERHOUT J.","year":"1996","unstructured":"OUSTERHOUT , J. Why threads are a bad idea (for most purposes) . In Presentation given at the 1996 Usenix Annual Technical Conference, January ( 1996 ). OUSTERHOUT, J. Why threads are a bad idea (for most purposes). In Presentation given at the 1996 Usenix Annual Technical Conference, January (1996)."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237794"},{"key":"e_1_3_2_2_25_1","series-title":"LNCS","first-page":"155","volume-title":"Proc. ESOP'04","author":"PHILLIPS A.","year":"2004","unstructured":"PHILLIPS , A. , YOSHIDA , N. , AND EISENBACH , S. A distributed abstract machine for boxed ambient calculi . In Proc. ESOP'04 ( 2004 ), D. A. Schmidt, Ed ., vol. 2986 of LNCS , Springer , pp. 155 -- 170 . PHILLIPS, A., YOSHIDA, N., AND EISENBACH, S. A distributed abstract machine for boxed ambient calculi. In Proc. ESOP'04 (2004), D. A. Schmidt, Ed., vol. 2986 of LNCS, Springer, pp. 155--170."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.03.061"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086378"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129598002527"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2007.17"},{"key":"e_1_3_2_2_30_1","volume-title":"Proc. TRANSACT'06","author":"SCOTT M. L.","year":"2006","unstructured":"SCOTT , M. L. Sequential specification of transactional memory semantics . In Proc. TRANSACT'06 ( 2006 ). SCOTT, M. L. Sequential specification of transactional memory semantics. In Proc. TRANSACT'06 (2006)."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050028"},{"key":"e_1_3_2_2_32_1","volume-title":"May","author":"SUNSHINE-HILL B.","year":"2008","unstructured":"SUNSHINE-HILL , B. , AND ZARKO , L. STM versus locks, ambiently , May 2008 . CIS 552 Final Project, University of Pennsylvania . SUNSHINE-HILL, B., AND ZARKO, L. STM versus locks, ambiently, May 2008. CIS 552 Final Project, University of Pennsylvania."},{"key":"e_1_3_2_2_33_1","series-title":"LNCS","first-page":"249","volume-title":"Proc. ESOP'04","author":"VITEK J.","year":"2004","unstructured":"VITEK , J. , JAGANNATHAN , S. , WELC , A. , AND HOSKING , A. L. A semantic framework for designer transactions . In Proc. ESOP'04 ( 2004 ), D. A. Schmidt, Ed ., vol. 2986 of LNCS , Springer , pp. 249 -- 263 . VITEK, J., JAGANNATHAN, S., WELC, A., AND HOSKING, A. L. A semantic framework for designer transactions. In Proc. ESOP'04 (2004), D. A. Schmidt, Ed., vol. 2986 of LNCS, Springer, pp. 249--263."}],"event":{"name":"ICFP '09: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Edinburgh Scotland","acronym":"ICFP '09"},"container-title":["Proceedings of the 2nd ACM SIGPLAN symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596638.1596648","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596638.1596648","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:29Z","timestamp":1750249409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596638.1596648"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,3]]},"references-count":31,"alternative-id":["10.1145\/1596638.1596648","10.1145\/1596638"],"URL":"https:\/\/doi.org\/10.1145\/1596638.1596648","relation":{},"subject":[],"published":{"date-parts":[[2009,9,3]]},"assertion":[{"value":"2009-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}