{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:32:42Z","timestamp":1767929562618,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":65,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T00:00:00Z","timestamp":1629244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EU HORIZON","award":["MSCA 2020 RISE project 778233"],"award-info":[{"award-number":["MSCA 2020 RISE project 778233"]}]},{"name":"EPTCS","award":["EP\/L01503X\/1"],"award-info":[{"award-number":["EP\/L01503X\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,18]]},"DOI":"10.1145\/3471874.3472979","type":"proceedings-article","created":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T02:11:59Z","timestamp":1629339119000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Deadlock-free session types in linear Haskell"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1662-0381","authenticated-orcid":false,"given":"Wen","family":"Kokke","sequence":"first","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9927-7875","authenticated-orcid":false,"given":"Ornela","family":"Dardha","sequence":"additional","affiliation":[{"name":"University of Glasgow, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Accessed: 2021-08-06. lhs2tex: Preprocessor for typesetting Haskell sources with LaTeX. https:\/\/hackage.haskell.org\/package\/lhs2tex Accessed: 2021-08-06. lhs2tex: Preprocessor for typesetting Haskell sources with LaTeX. https:\/\/hackage.haskell.org\/package\/lhs2tex"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17184-1_22"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45917-1_4"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158093"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681300018X"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.7494\/csci.2017.18.3.1413"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/322374.322380"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15375-4_16"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.2991\/978-94-6239-204-5"},{"key":"e_1_3_2_1_10_1","volume-title":"Gay","author":"Dardha Ornela","year":"2018","unstructured":"Ornela Dardha and Simon J . Gay . 2018 . A New Linear Logic for Deadlock-Free Session-Typed Processes. In Proc. of FoSSaCS (LNCS , Vol. 10803). Springer, 91\u2013 109 . Ornela Dardha and Simon J. Gay. 2018. A New Linear Logic for Deadlock-Free Session-Typed Processes. In Proc. of FoSSaCS (LNCS, Vol. 10803). Springer, 91\u2013109."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370776.2370794"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2017.06.002"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-014-0218-8"},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. of TGC (LNCS","volume":"275","author":"Dezani-Ciancaglini Mariangiola","year":"2009","unstructured":"Mariangiola Dezani-Ciancaglini , Ugo de\u2019 Liguoro , and Nobuko Yoshida . 2009 . On Progress for Structured Communications . In Proc. of TGC (LNCS , Vol. 4912). Springer, 257\u2013 275 . Mariangiola Dezani-Ciancaglini, Ugo de\u2019Liguoro, and Nobuko Yoshida. 2009. On Progress for Structured Communications. In Proc. of TGC (LNCS, Vol. 4912). Springer, 257\u2013275."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_20"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535856"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.178047"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.223.3"},{"key":"e_1_3_2_1_19_1","volume-title":"Separating Sessions Smoothly. CoRR, abs\/2105.08996","author":"Fowler Simon","year":"2021","unstructured":"Simon Fowler , Wen Kokke , Ornela Dardha , Sam Lindley , and J. Garrett Morris . 2021. Separating Sessions Smoothly. CoRR, abs\/2105.08996 ( 2021 ), arxiv:2105.08996. arxiv:2105.08996 Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, and J. Garrett Morris. 2021. Separating Sessions Smoothly. CoRR, abs\/2105.08996 (2021), arxiv:2105.08996. arxiv:2105.08996"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290341"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951939"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.314.3"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809990268"},{"key":"e_1_3_2_1_24_1","first-page":"19","article-title":"Linear type theory for asynchronous session types","volume":"20","author":"Gay Simon J.","year":"2012","unstructured":"Simon J. Gay and Vasco T. Vasconcelos . 2012 . Linear type theory for asynchronous session types . JFP , 20 , 1 (2012), 19 \u2013 50 . Extended version of gayvasconcelos10. Simon J. Gay and Vasco T. Vasconcelos. 2012. Linear type theory for asynchronous session types. JFP, 20, 1 (2012), 19\u201350. Extended version of gayvasconcelos10.","journal-title":"JFP"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57208-2_35"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053567"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328472"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49665-7_24"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.69.6"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2808098.2808100"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817949_16"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/330249.330251"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.304.4"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-78089-0_6"},{"key":"e_1_3_2_1_36_1","volume-title":"Prioritise the Best Variation. CoRR, abs\/2103.14466","author":"Kokke Wen","year":"2021","unstructured":"Wen Kokke and Ornela Dardha . 2021. Prioritise the Best Variation. CoRR, abs\/2103.14466 ( 2021 ), arxiv:2103.14466. arxiv:2103.14466 Extended version of kokkedardha21. Wen Kokke and Ornela Dardha. 2021. Prioritise the Best Variation. CoRR, abs\/2103.14466 (2021), arxiv:2103.14466. arxiv:2103.14466 Extended version of kokkedardha21."},{"key":"e_1_3_2_1_37_1","volume-title":"Gay","author":"Kouzapas Dimitrios","year":"2016","unstructured":"Dimitrios Kouzapas , Ornela Dardha , Roly Perera , and Simon J . Gay . 2016 . Typechecking protocols with Mungo and StMungo. In PPDP. 146\u2013159. Dimitrios Kouzapas, Ornela Dardha, Roly Perera, and Simon J. Gay. 2016. Typechecking protocols with Mungo and StMungo. In PPDP. 146\u2013159."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178246"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503778.2503786"},{"key":"e_1_3_2_1_40_1","volume-title":"Proc. of ESOP. 560\u2013584","author":"Lindley Sam","unstructured":"Sam Lindley and J. Garrett Morris . 2015. A Semantics for Propositions as Sessions . In Proc. of ESOP. 560\u2013584 . Sam Lindley and J. Garrett Morris. 2015. A Semantics for Propositions as Sessions. In Proc. of ESOP. 560\u2013584."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976018"},{"key":"e_1_3_2_1_42_1","volume-title":"Behavioural Types: from Theory to Tools","author":"Lindley Sam","unstructured":"Sam Lindley and J Garrett Morris . 2017. Lightweight Functional Session Types . In Behavioural Types: from Theory to Tools . River Publishers , 265\u2013286. Sam Lindley and J Garrett Morris. 2017. Lightweight Functional Session Types. In Behavioural Types: from Theory to Tools. River Publishers, 265\u2013286."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814302"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24836-1_5"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0420-8"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3033019.3033031"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.23638\/LMCS-13(1:17)2017"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.317.2"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Dominic Orchard and Nobuko Yoshida. 2017. Session types with linearity in Haskell. Behavioural Types: from Theory to Tools 219. Dominic Orchard and Nobuko Yoshida. 2017. Session types with linearity in Haskell. Behavioural Types: from Theory to Tools 219.","DOI":"10.1201\/9781003337331-10"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837634"},{"key":"e_1_3_2_1_51_1","first-page":"1","article-title":"Deadlock and Lock Freedom in the Linear \u03c0 -Calculus","volume":"72","author":"Padovani Luca","year":"2014","unstructured":"Luca Padovani . 2014 . Deadlock and Lock Freedom in the Linear \u03c0 -Calculus . In Proc. of CSL-LICS. ACM , 72 : 1 \u2013 72 :10. Luca Padovani. 2014. Deadlock and Lock Freedom in the Linear \u03c0 -Calculus. In Proc. of CSL-LICS. ACM, 72:1\u201372:10.","journal-title":"Proc. of CSL-LICS. ACM"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796816000289"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19195-9_1"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237794"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804309"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411290"},{"key":"e_1_3_2_1_57_1","volume-title":"Session Types in Haskell Updating Message Passing for the 21st Century. 01","author":"Sackman Matthew","unstructured":"Matthew Sackman and Susan Eisenbach . 2008. Session Types in Haskell Updating Message Passing for the 21st Century. 01 . Matthew Sackman and Susan Eisenbach. 2008. Session Types in Haskell Updating Message Passing for the 21st Century. 01."},{"key":"e_1_3_2_1_58_1","volume-title":"The \u03c0 -calculus: a Theory of Mobile Processes","author":"Sangiorgi Davide","unstructured":"Davide Sangiorgi and David Walker . 2001. The \u03c0 -calculus: a Theory of Mobile Processes . Cambridge University Press . Davide Sangiorgi and David Walker. 2001. The \u03c0 -calculus: a Theory of Mobile Processes. Cambridge University Press."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2017.24"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2016.21"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13414-2_11"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58184-7_118"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364568"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681400001X"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699407"}],"event":{"name":"ICFP '21: 26th ACM SIGPLAN International Conference on Functional Programming","location":"Virtual Republic of Korea","acronym":"ICFP '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3471874.3472979","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3471874.3472979","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:49Z","timestamp":1750195489000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3471874.3472979"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,18]]},"references-count":65,"alternative-id":["10.1145\/3471874.3472979","10.1145\/3471874"],"URL":"https:\/\/doi.org\/10.1145\/3471874.3472979","relation":{},"subject":[],"published":{"date-parts":[[2021,8,18]]},"assertion":[{"value":"2021-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}