{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:15Z","timestamp":1750220595841,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,8,9]],"date-time":"2020-08-09T00:00:00Z","timestamp":1596931200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,8,27]]},"DOI":"10.1145\/3406088.3409024","type":"proceedings-article","created":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T04:08:01Z","timestamp":1596168481000},"page":"17-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A graded monad for deadlock-free concurrency (functional pearl)"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1347-4884","authenticated-orcid":false,"given":"Andrej","family":"Iva\u0161kovi\u0107","sequence":"first","affiliation":[{"name":"University of Cambridge, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7013-8572","authenticated-orcid":false,"given":"Alan","family":"Mycroft","sequence":"additional","affiliation":[{"name":"University of Cambridge, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,8,9]]},"reference":[{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292564"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349328"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.69.4"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103796"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"volume-title":"Language primitives and type discipline for structured communication-based programming","author":"Honda Kohei","key":"e_1_3_2_2_8_1","unstructured":"Kohei Honda, Vasco T. Vasconcelos, and Makoto Kubo. 1998. Language primitives and type discipline for structured communication-based programming. In Programming Languages and Systems, Chris Hankin (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 122-138."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2578855.2535846"},{"key":"e_1_3_2_2_10_1","volume-title":"J de Groot, and Adriaan Cornelis Zaanen.","author":"Kleene Stephen Cole","year":"1952","unstructured":"Stephen Cole Kleene, NG De Bruijn, J de Groot, and Adriaan Cornelis Zaanen. 1952. Introduction to metamathematics. Vol. 483. van Nostrand New York."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817949_16"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73564"},{"volume-title":"A Calculus of Communicating Systems","author":"Milner R.","key":"e_1_3_2_2_13_1","unstructured":"R. Milner. 1982. A Calculus of Communicating Systems. Springer-Verlag, Berlin, Heidelberg."},{"key":"e_1_3_2_2_14_1","first-page":"1","volume-title":"I. Information and Computation 100, 1 ( 1992 )","author":"Milner Robin","unstructured":"Robin Milner, Joachim Parrow, and David Walker. 1992. A calculus of mobile processes, I. Information and Computation 100, 1 ( 1992 ), 1-40. htps:\/\/doi.org\/10.1016\/ 0890-5401 ( 92 ) 90008-4"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633368"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837634"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411290"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2011.11.001"},{"volume-title":"Session types in Haskell: Updating message passing for the 21st century. ( 2008 ). htps:\/\/spiral.imperial.ac.uk\/bitstream\/10044\/1\/5918\/1\/sessiontypes-in-haskell.pdf","author":"Sackman Matthew","key":"e_1_3_2_2_19_1","unstructured":"Matthew Sackman and Susan Eisenbach. 2008. Session types in Haskell: Updating message passing for the 21st century. ( 2008 ). htps:\/\/spiral.imperial.ac.uk\/bitstream\/10044\/1\/5918\/1\/sessiontypes-in-haskell.pdf"},{"volume-title":"Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References","author":"Suenaga Kohei","key":"e_1_3_2_2_20_1","unstructured":"Kohei Suenaga. 2008. Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. In Programming Languages and Systems, G. Ramalingam (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 155-170."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","unstructured":"Philip Wadler and Peter Thiemann. 1999. The Marriage of Efects and Monads. ACM Transactions on Computational Logic 4 ( 12 1999 ). htps:\/\/doi.org\/10.1145\/601775.601776","DOI":"10.1145\/601775.601776"}],"event":{"name":"ICFP '20: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual Event USA","acronym":"ICFP '20"},"container-title":["Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3406088.3409024","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3406088.3409024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:52Z","timestamp":1750195912000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3406088.3409024"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,9]]},"references-count":21,"alternative-id":["10.1145\/3406088.3409024","10.1145\/3406088"],"URL":"https:\/\/doi.org\/10.1145\/3406088.3409024","relation":{},"subject":[],"published":{"date-parts":[[2020,8,9]]},"assertion":[{"value":"2020-08-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}