{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:18:01Z","timestamp":1725477481909},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691747"},{"type":"electronic","value":"9783540691754"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11964681_8","type":"book-chapter","created":{"date-parts":[[2007,1,19]],"date-time":"2007-01-19T05:48:37Z","timestamp":1169185717000},"page":"124-141","source":"Crossref","is-referenced-by-count":6,"title":["A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell"],"prefix":"10.1007","author":[{"given":"Frank","family":"Huch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Kupke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1016850.1016858","volume-title":"ICFP 2004: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming","author":"J. Christiansen","year":"2004","unstructured":"Christiansen, J., Huch, F.: Searching for deadlocks while debugging concurrent haskell programs. In: ICFP 2004: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, pp. 28\u201339. ACM Press, New York (2004)"},{"issue":"3","key":"8_CR2","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1017\/S0956796899003342","volume":"9","author":"K. Claessen","year":"1999","unstructured":"Claessen, K.: A poor man\u2019s concurrency monad. Journal of Functional Programming\u00a09(3), 313\u2013323 (1999)","journal-title":"Journal of Functional Programming"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11737414_6","volume-title":"Functional and Logic Programming","author":"A. Discolo","year":"2006","unstructured":"Discolo, A., Harris, T., Marlow, S., Jones, S.L.P., Singh, S.: Lock free data structures using STM in haskell. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 65\u201380. Springer, Heidelberg (2006)"},{"key":"8_CR4","unstructured":"Dornan, C.: Tcl + Haskell = TclHaskell. In: Glasgow FP Group Workshop, Pitlochry, Scotland (September 1998), \n                    \n                      http:\/\/www.dcs.gla.ac.uk\/~nww\/TkHaskell\/TkHaskell.html"},{"key":"8_CR5","unstructured":"Chakravarty, M. (ed.): The Haskell\u00a098 foreign function interface 1.0: An addendum to the Haskell 1998 report, \n                    \n                      http:\/\/www.cse.unsw.edu.au\/chak\/haskell\/ffi\/"},{"key":"8_CR6","unstructured":"The Glasgow Haskell compiler, \n                    \n                      http:\/\/www.haskell.org\/ghc\/"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/1088348.1088354","volume-title":"Haskell 2005: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell","author":"T. Harris","year":"2005","unstructured":"Harris, T., Marlow, S., Peyton Jones, S.: Haskell on a shared-memory multiprocessor. In: Haskell 2005: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, pp. 49\u201361. ACM Press, New York (2005)"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/1065944.1065952","volume-title":"PPoPP 2005: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming","author":"T. Harris","year":"2005","unstructured":"Harris, T., Marlow, S., Peyton-Jones, S., Herlihy, M.: Composable memory transactions. In: PPoPP 2005: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 48\u201360. ACM Press, New York (2005)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/3-540-45361-X_7","volume-title":"Implementation of Functional Languages","author":"F. Huch","year":"2001","unstructured":"Huch, F., Norbisrath, U.: Distributed programming in haskell with ports. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol.\u00a02011, pp. 107\u2013121. Springer, Heidelberg (2001)"},{"key":"8_CR10","unstructured":"The Haskell interpreter Hugs. \n                    \n                      http:\/\/www.haskell.org\/hugs\/"},{"key":"8_CR11","series-title":"NATO ASI Series","volume-title":"Engineering theories of software construction, Marktoberdorf Summer School 2000","author":"S. Peyton Jones","year":"2001","unstructured":"Peyton Jones, S.: Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell. In: Engineering theories of software construction, Marktoberdorf Summer School 2000. NATO ASI Series. IOS Press, Amsterdam (2001)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S., Gordon, A., Finne, S.: Concurrent Haskell. In: Conference Record of POPL 1996: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, 21\u201324, pp. 295\u2013308 (1996)","DOI":"10.1145\/237721.237794"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Marlow, S., Peyton Jones, S., Thaller, W.: Extending the Haskell foreign function interface with concurrency. In: Proceedings of the ACM SIGPLAN workshop on Haskell, Snowbird, Utah, USA, pp. 57\u201368 (September 2004)","DOI":"10.1145\/1017472.1017479"},{"key":"8_CR14","unstructured":"A Concurrent Haskell Testsuite. \n                    \n                      http:\/\/cvs.haskell.org\/cgi-bin\/cvsweb.cgi\/fptools\/testsuite\/tests\/ghc-regress\/concurrent\/should_run\/"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11964681_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:00:44Z","timestamp":1605643244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11964681_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540691747","9783540691754"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11964681_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}