{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:16:00Z","timestamp":1750220160296,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T00:00:00Z","timestamp":1663632000000},"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":[[2022,9,20]]},"DOI":"10.1145\/3551357.3556676","type":"proceedings-article","created":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T15:37:25Z","timestamp":1663688245000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Session Types Revisited: A Decade Later"],"prefix":"10.1145","author":[{"given":"Ornela","family":"Dardha","sequence":"first","affiliation":[{"name":"School of Computing Science, University of Glasgow, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Giachino","sequence":"additional","affiliation":[{"name":"University of Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Sangiorgi","sequence":"additional","affiliation":[{"name":"University of Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","article-title":"Minimal Session Types for the \u03c0-calculus","volume":"12","author":"Arslanagic Alen","year":"2021","unstructured":"Alen Arslanagic , Anda-Amelia Palamariuc , and Jorge\u00a0 A. P\u00e9rez . 2021 . Minimal Session Types for the \u03c0-calculus . In PPDP. ACM , 12 : 1 \u2013 12 :15. https:\/\/doi.org\/10.1145\/3479394.3479407 10.1145\/3479394.3479407 Alen Arslanagic, Anda-Amelia Palamariuc, and Jorge\u00a0A. P\u00e9rez. 2021. Minimal Session Types for the \u03c0-calculus. In PPDP. ACM, 12:1\u201312:15. https:\/\/doi.org\/10.1145\/3479394.3479407","journal-title":"PPDP. ACM"},{"volume-title":"TGC(LNCS, Vol.\u00a08902)","author":"Bernardi Giovanni","key":"e_1_3_2_1_2_1","unstructured":"Giovanni Bernardi , Ornela Dardha , Simon\u00a0 J. Gay , and Dimitrios Kouzapas . 2014. On Duality Relations for Session Types . In TGC(LNCS, Vol.\u00a08902) . Springer , 51\u201366. https:\/\/doi.org\/10.1007\/978-3-662-45917-1_4 10.1007\/978-3-662-45917-1_4 Giovanni Bernardi, Ornela Dardha, Simon\u00a0J. Gay, and Dimitrios Kouzapas. 2014. On Duality Relations for Session Types. In TGC(LNCS, Vol.\u00a08902). Springer, 51\u201366. https:\/\/doi.org\/10.1007\/978-3-662-45917-1_4"},{"volume-title":"CONCUR(Lecture Notes in Computer Science, Vol.\u00a08704)","author":"Bernardi Giovanni","key":"e_1_3_2_1_3_1","unstructured":"Giovanni Bernardi and Matthew Hennessy . 2014. Using Higher-Order Contracts to Model Session Types (Extended Abstract) . In CONCUR(Lecture Notes in Computer Science, Vol.\u00a08704) . Springer , 387\u2013401. https:\/\/doi.org\/10.1007\/978-3-662-44584-6_27 10.1007\/978-3-662-44584-6_27 Giovanni Bernardi and Matthew Hennessy. 2014. Using Higher-Order Contracts to Model Session Types (Extended Abstract). In CONCUR(Lecture Notes in Computer Science, Vol.\u00a08704). Springer, 387\u2013401. https:\/\/doi.org\/10.1007\/978-3-662-44584-6_27"},{"volume-title":"CONCUR(LNCS, Vol.\u00a06269)","author":"Caires Lu\u00eds","key":"e_1_3_2_1_4_1","unstructured":"Lu\u00eds Caires and Frank Pfenning . 2010. Session Types as Intuitionistic Linear Propositions . In CONCUR(LNCS, Vol.\u00a06269) . Springer , 222\u2013236. https:\/\/doi.org\/10.1007\/978-3-642-15375-4_16 10.1007\/978-3-642-15375-4_16 Lu\u00eds Caires and Frank Pfenning. 2010. Session Types as Intuitionistic Linear Propositions. In CONCUR(LNCS, Vol.\u00a06269). Springer, 222\u2013236. https:\/\/doi.org\/10.1007\/978-3-642-15375-4_16"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.016"},{"volume-title":"COORDINATION(LNCS, Vol.\u00a08459)","author":"Carbone Marco","key":"e_1_3_2_1_6_1","unstructured":"Marco Carbone , Ornela Dardha , and Fabrizio Montesi . 2014. Progress as Compositional Lock-Freedom . In COORDINATION(LNCS, Vol.\u00a08459) . Springer , 49\u201364. Marco Carbone, Ornela Dardha, and Fabrizio Montesi. 2014. Progress as Compositional Lock-Freedom. In COORDINATION(LNCS, Vol.\u00a08459). Springer, 49\u201364."},{"volume-title":"ESOP(LNCS, Vol.\u00a04421)","author":"Carbone Marco","key":"e_1_3_2_1_7_1","unstructured":"Marco Carbone , Kohei Honda , and Nobuko Yoshida . 2007. Structured Communication-Centred Programming for Web Services . In ESOP(LNCS, Vol.\u00a04421) . Springer , 2\u201317. Marco Carbone, Kohei Honda, and Nobuko Yoshida. 2007. Structured Communication-Centred Programming for Web Services. In ESOP(LNCS, Vol.\u00a04421). Springer, 2\u201317."},{"key":"#cr-split#-e_1_3_2_1_8_1.1","doi-asserted-by":"crossref","unstructured":"Ornela Dardha. 2014. Recursive Session Types Revisited. In BEAT(EPTCS Vol.\u00a0162). 27-34. https:\/\/doi.org\/10.4204\/EPTCS.162.4 10.4204\/EPTCS.162.4","DOI":"10.4204\/EPTCS.162.4"},{"key":"#cr-split#-e_1_3_2_1_8_1.2","doi-asserted-by":"crossref","unstructured":"Ornela Dardha. 2014. Recursive Session Types Revisited. In BEAT(EPTCS Vol.\u00a0162). 27-34. https:\/\/doi.org\/10.4204\/EPTCS.162.4","DOI":"10.4204\/EPTCS.162.4"},{"volume-title":"Vol.\u00a07","author":"Dardha Ornela","key":"e_1_3_2_1_9_1","unstructured":"Ornela Dardha . 2016. Type Systems for Distributed Programs: Components and Sessions. Atlantis Studies in Computing , Vol.\u00a07 . Springer \/ Atlantis Press . https:\/\/doi.org\/10.2991\/978-94-6239-204-5 10.2991\/978-94-6239-204-5 Ornela Dardha. 2016. Type Systems for Distributed Programs: Components and Sessions. Atlantis Studies in Computing, Vol.\u00a07. Springer \/ Atlantis Press. https:\/\/doi.org\/10.2991\/978-94-6239-204-5"},{"volume-title":"FOSSACS(LNCS, Vol.\u00a010803)","author":"Dardha Ornela","key":"e_1_3_2_1_10_1","unstructured":"Ornela Dardha and Simon\u00a0 J. Gay . 2018. A New Linear Logic for Deadlock-Free Session-Typed Processes . In FOSSACS(LNCS, Vol.\u00a010803) . Springer , 91\u2013109. https:\/\/doi.org\/10.1007\/978-3-319-89366-2_5 10.1007\/978-3-319-89366-2_5 Ornela Dardha and Simon\u00a0J. Gay. 2018. A New Linear Logic for Deadlock-Free Session-Typed Processes. In FOSSACS(LNCS, Vol.\u00a010803). Springer, 91\u2013109. https:\/\/doi.org\/10.1007\/978-3-319-89366-2_5"},{"volume-title":"PPDP","author":"Dardha Ornela","key":"e_1_3_2_1_11_1","unstructured":"Ornela Dardha , Elena Giachino , and Davide Sangiorgi . 2012. Session types revisited . In PPDP . ACM , New York, NY, USA , 139\u2013150. Ornela Dardha, Elena Giachino, and Davide Sangiorgi. 2012. Session types revisited. In PPDP. ACM, New York, NY, USA, 139\u2013150."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2017.06.002"},{"key":"#cr-split#-e_1_3_2_1_13_1.1","doi-asserted-by":"crossref","unstructured":"Ornela Dardha and Jorge\u00a0A. P\u00e9rez. 2015. Comparing Deadlock-Free Session Typed Processes. In EXPRESS\/SOS(EPTCS Vol.\u00a0190). 1-15. https:\/\/doi.org\/10.4204\/EPTCS.190.1 10.4204\/EPTCS.190.1","DOI":"10.4204\/EPTCS.190.1"},{"key":"#cr-split#-e_1_3_2_1_13_1.2","doi-asserted-by":"crossref","unstructured":"Ornela Dardha and Jorge\u00a0A. P\u00e9rez. 2015. Comparing Deadlock-Free Session Typed Processes. In EXPRESS\/SOS(EPTCS Vol.\u00a0190). 1-15. https:\/\/doi.org\/10.4204\/EPTCS.190.1","DOI":"10.4204\/EPTCS.190.1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2021.100717"},{"volume-title":"FMCO(LNCS, Vol.\u00a04709)","author":"Dezani-Ciancaglini Mariangiola","key":"e_1_3_2_1_15_1","unstructured":"Mariangiola Dezani-Ciancaglini , Elena Giachino , Sophia Drossopoulou , and Nobuko Yoshida . 2007. Bounded Session Types for Object Oriented Languages . In FMCO(LNCS, Vol.\u00a04709) . Springer , 207\u2013245. https:\/\/doi.org\/10.1007\/978-3-540-74792-5_10 10.1007\/978-3-540-74792-5_10 Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, and Nobuko Yoshida. 2007. Bounded Session Types for Object Oriented Languages. In FMCO(LNCS, Vol.\u00a04709). Springer, 207\u2013245. https:\/\/doi.org\/10.1007\/978-3-540-74792-5_10"},{"volume-title":"ECOOP(LNCS, Vol.\u00a04067)","author":"Dezani-Ciancaglini Mariangiola","key":"e_1_3_2_1_16_1","unstructured":"Mariangiola Dezani-Ciancaglini , Dimitris Mostrous , Nobuko Yoshida , and Sophia Drossopoulou . 2006. Session Types for Object-Oriented Languages . In ECOOP(LNCS, Vol.\u00a04067) . Springer , 328\u2013352. Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, and Sophia Drossopoulou. 2006. Session Types for Object-Oriented Languages. In ECOOP(LNCS, Vol.\u00a04067). Springer, 328\u2013352."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129508006944"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-005-0177-z"},{"key":"#cr-split#-e_1_3_2_1_19_1.1","doi-asserted-by":"crossref","unstructured":"Simon\u00a0J. Gay Peter Thiemann and Vasco\u00a0T. Vasconcelos. 2020. Duality of Session Types: The Final Cut. In PLACES(EPTCS Vol.\u00a0314). 23-33. https:\/\/doi.org\/10.4204\/EPTCS.314.3 10.4204\/EPTCS.314.3","DOI":"10.4204\/EPTCS.314.3"},{"key":"#cr-split#-e_1_3_2_1_19_1.2","doi-asserted-by":"crossref","unstructured":"Simon\u00a0J. Gay Peter Thiemann and Vasco\u00a0T. Vasconcelos. 2020. Duality of Session Types: The Final Cut. In PLACES(EPTCS Vol.\u00a0314). 23-33. https:\/\/doi.org\/10.4204\/EPTCS.314.3","DOI":"10.4204\/EPTCS.314.3"},{"volume-title":"Web Services, Formal Methods, and Behavioral Types","author":"Graversen Eva\u00a0Fajstrup","key":"e_1_3_2_1_20_1","unstructured":"Eva\u00a0Fajstrup Graversen , Jacob\u00a0Buchreitz Harbo , Hans H\u00fcttel , Mathias\u00a0Ormstrup Bjerregaard , Niels\u00a0Sonnich Poulsen , and Sebastian Wahl . 2014. Type Inference for Session Types in the \u03c0-calculus . In Web Services, Formal Methods, and Behavioral Types . Springer , 103\u2013121. Eva\u00a0Fajstrup Graversen, Jacob\u00a0Buchreitz Harbo, Hans H\u00fcttel, Mathias\u00a0Ormstrup Bjerregaard, Niels\u00a0Sonnich Poulsen, and Sebastian Wahl. 2014. Type Inference for Session Types in the \u03c0-calculus. In Web Services, Formal Methods, and Behavioral Types. Springer, 103\u2013121."},{"volume-title":"CONCUR(LNCS, Vol.\u00a0715)","author":"Honda Kohei","key":"e_1_3_2_1_21_1","unstructured":"Kohei Honda . 1993. Types for Dyadic Interaction . In CONCUR(LNCS, Vol.\u00a0715) . Springer , 509\u2013523. https:\/\/doi.org\/10.1007\/3-540-57208-2_35 10.1007\/3-540-57208-2_35 Kohei Honda. 1993. Types for Dyadic Interaction. In CONCUR(LNCS, Vol.\u00a0715). Springer, 509\u2013523. https:\/\/doi.org\/10.1007\/3-540-57208-2_35"},{"volume-title":"ESOP(LNCS, Vol.\u00a01381)","author":"Honda Kohei","key":"e_1_3_2_1_22_1","unstructured":"Kohei Honda , Vasco Vasconcelos , and Makoto Kubo . 1998. Language primitives and type disciplines for structured communication-based programming . In ESOP(LNCS, Vol.\u00a01381) . Springer , 22\u2013138. Kohei Honda, Vasco Vasconcelos, and Makoto Kubo. 1998. Language primitives and type disciplines for structured communication-based programming. In ESOP(LNCS, Vol.\u00a01381). Springer, 22\u2013138."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.08.005"},{"key":"e_1_3_2_1_24_1","volume-title":"Papaya: Global Typestate Analysis of Aliased Objects. In PPDP. ACM. https:\/\/doi.org\/10.1145\/3479394.3479414","author":"Jakobsen Mathias","year":"2021","unstructured":"Mathias Jakobsen , Alice Ravier , and Ornela Dardha . 2021 . Papaya: Global Typestate Analysis of Aliased Objects. In PPDP. ACM. https:\/\/doi.org\/10.1145\/3479394.3479414 10.1145\/3479394.3479414 Mathias Jakobsen, Alice Ravier, and Ornela Dardha. 2021. Papaya: Global Typestate Analysis of Aliased Objects. In PPDP. ACM. https:\/\/doi.org\/10.1145\/3479394.3479414"},{"volume-title":"CONCUR(LNCS, Vol.\u00a04137)","author":"Kobayashi Naoki","key":"e_1_3_2_1_25_1","unstructured":"Naoki Kobayashi . 2006. A New Type System for Deadlock-Free Processes . In CONCUR(LNCS, Vol.\u00a04137) . Springer , 233\u2013247. Naoki Kobayashi. 2006. A New Type System for Deadlock-Free Processes. In CONCUR(LNCS, Vol.\u00a04137). Springer, 233\u2013247."},{"volume-title":"Type Systems for Concurrent Programs. Extended Version","author":"Kobayashi Naoki","key":"e_1_3_2_1_26_1","unstructured":"Naoki Kobayashi . 2007. Type Systems for Concurrent Programs. Extended Version , Tohoku University . Naoki Kobayashi. 2007. Type Systems for Concurrent Programs. Extended Version, Tohoku University."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/330249.330251"},{"key":"#cr-split#-e_1_3_2_1_28_1.1","doi-asserted-by":"crossref","unstructured":"Wen Kokke and Ornela Dardha. 2021. Deadlock-free session types in linear Haskell. In Haskell. ACM 1-13. https:\/\/doi.org\/10.1145\/3471874.3472979 10.1145\/3471874.3472979","DOI":"10.1145\/3471874.3472979"},{"key":"#cr-split#-e_1_3_2_1_28_1.2","doi-asserted-by":"crossref","unstructured":"Wen Kokke and Ornela Dardha. 2021. Deadlock-free session types in linear Haskell. In Haskell. ACM 1-13. https:\/\/doi.org\/10.1145\/3471874.3472979","DOI":"10.1145\/3471874.3472979"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.10.006"},{"key":"#cr-split#-e_1_3_2_1_30_1.1","doi-asserted-by":"crossref","unstructured":"Julien Lange Nicholas Ng Bernardo Toninho and Nobuko Yoshida. 2018. A static verification framework for message passing in Go using behavioural types. In ICSE. ACM 1137-1148. https:\/\/doi.org\/10.1145\/3180155.3180157 10.1145\/3180155.3180157","DOI":"10.1145\/3180155.3180157"},{"key":"#cr-split#-e_1_3_2_1_30_1.2","doi-asserted-by":"crossref","unstructured":"Julien Lange Nicholas Ng Bernardo Toninho and Nobuko Yoshida. 2018. A static verification framework for message passing in Go using behavioural types. In ICSE. ACM 1137-1148. https:\/\/doi.org\/10.1145\/3180155.3180157","DOI":"10.1145\/3180155.3180157"},{"volume-title":"CONCUR(LNCS, Vol.\u00a08052)","author":"Montesi Fabrizio","key":"e_1_3_2_1_31_1","unstructured":"Fabrizio Montesi and Nobuko Yoshida . 2013. Compositional Choreographies . In CONCUR(LNCS, Vol.\u00a08052) . Springer , 425\u2013439. Fabrizio Montesi and Nobuko Yoshida. 2013. Compositional Choreographies. In CONCUR(LNCS, Vol.\u00a08052). Springer, 425\u2013439."},{"volume-title":"TLCA(LNCS, Vol.\u00a04583)","author":"Mostrous Dimitris","key":"e_1_3_2_1_32_1","unstructured":"Dimitris Mostrous and Nobuko Yoshida . 2007. Two Session Typing Systems for Higher-Order Mobile Processes . In TLCA(LNCS, Vol.\u00a04583) . Springer , 321\u2013335. https:\/\/doi.org\/10.1007\/978-3-540-73228-0_23 10.1007\/978-3-540-73228-0_23 Dimitris Mostrous and Nobuko Yoshida. 2007. Two Session Typing Systems for Higher-Order Mobile Processes. In TLCA(LNCS, Vol.\u00a04583). Springer, 321\u2013335. https:\/\/doi.org\/10.1007\/978-3-540-73228-0_23"},{"volume-title":"CSL-LICS","author":"Padovani Luca","key":"e_1_3_2_1_33_1","unstructured":"Luca Padovani . 2014. Deadlock and Lock Freedom in the Linear \u03c0-Calculus . In CSL-LICS . ACM , New York, NY, USA . https:\/\/doi.org\/10.1145\/2603088.2603116 10.1145\/2603088.2603116 Luca Padovani. 2014. Deadlock and Lock Freedom in the Linear \u03c0-Calculus. In CSL-LICS. ACM, New York, NY, USA. https:\/\/doi.org\/10.1145\/2603088.2603116"},{"key":"e_1_3_2_1_34_1","volume-title":"Type Reconstruction for the Linear \u03c0-Calculus with Composite Regular Types. Logical Methods in Computer Science","author":"Padovani Luca","year":"2015","unstructured":"Luca Padovani . 2015. Type Reconstruction for the Linear \u03c0-Calculus with Composite Regular Types. Logical Methods in Computer Science Volume 11 , Issue 4 ( 2015 ). https:\/\/doi.org\/10.2168\/LMCS-11(4:13)2015 10.2168\/LMCS-11(4:13)2015 Luca Padovani. 2015. Type Reconstruction for the Linear \u03c0-Calculus with Composite Regular Types. Logical Methods in Computer Science Volume 11, Issue 4 (2015). https:\/\/doi.org\/10.2168\/LMCS-11(4:13)2015"},{"key":"e_1_3_2_1_35_1","volume-title":"A simple library implementation of binary sessions. Journal of Functional Programming 27","author":"Padovani Luca","year":"2017","unstructured":"Luca Padovani . 2017. A simple library implementation of binary sessions. Journal of Functional Programming 27 ( 2017 ). https:\/\/doi.org\/10.1017\/S0956796816000289 10.1017\/S0956796816000289 Luca Padovani. 2017. A simple library implementation of binary sessions. Journal of Functional Programming 27 (2017). https:\/\/doi.org\/10.1017\/S0956796816000289"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2711"},{"volume-title":"The Pi-Calculus - a theory of mobile processes","author":"Sangiorgi Davide","key":"e_1_3_2_1_37_1","unstructured":"Davide Sangiorgi and David Walker . 2001. The Pi-Calculus - a theory of mobile processes . Cambridge University Press . I\u2013XII, 1\u2013580 pages. Davide Sangiorgi and David Walker. 2001. The Pi-Calculus - a theory of mobile processes. Cambridge University Press. I\u2013XII, 1\u2013580 pages."},{"key":"e_1_3_2_1_38_1","first-page":"1","article-title":"A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. In ECOOP(LIPIcs, Vol.\u00a074)","volume":"24","author":"Scalas Alceste","year":"2017","unstructured":"Alceste Scalas , Ornela Dardha , Raymond Hu , and Nobuko Yoshida . 2017 . A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. In ECOOP(LIPIcs, Vol.\u00a074) . Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik , 24 : 1 \u2013 24 :31. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2017.24 10.4230\/LIPIcs.ECOOP.2017.24 Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida. 2017. A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. In ECOOP(LIPIcs, Vol.\u00a074). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 24:1\u201324:31. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2017.24","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"key":"e_1_3_2_1_39_1","volume-title":"A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). Dagstuhl Artifacts Ser. 3, 2","author":"Scalas Alceste","year":"2017","unstructured":"Alceste Scalas , Ornela Dardha , Raymond Hu , and Nobuko Yoshida . 2017. A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). Dagstuhl Artifacts Ser. 3, 2 ( 2017 ), 03:1\u201303:2. https:\/\/doi.org\/10.4230\/DARTS.3.2.3 10.4230\/DARTS.3.2.3 Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida. 2017. A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). Dagstuhl Artifacts Ser. 3, 2 (2017), 03:1\u201303:2. https:\/\/doi.org\/10.4230\/DARTS.3.2.3"},{"key":"e_1_3_2_1_40_1","first-page":"1","article-title":"Lightweight Session Programming in Scala. In ECOOP(LIPIcs, Vol.\u00a056)","volume":"21","author":"Scalas Alceste","year":"2016","unstructured":"Alceste Scalas and Nobuko Yoshida . 2016 . Lightweight Session Programming in Scala. In ECOOP(LIPIcs, Vol.\u00a056) . Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik , 21 : 1 \u2013 21 :28. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2016.21 10.4230\/LIPIcs.ECOOP.2016.21 Alceste Scalas and Nobuko Yoshida. 2016. Lightweight Session Programming in Scala. In ECOOP(LIPIcs, Vol.\u00a056). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 21:1\u201321:28. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2016.21","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"volume-title":"PARLE(LNCS, Vol.\u00a0817)","author":"Takeuchi Kaku","key":"e_1_3_2_1_41_1","unstructured":"Kaku Takeuchi , Kohei Honda , and Makoto Kubo . 1994. An Interaction-based Language and its Typing System . In PARLE(LNCS, Vol.\u00a0817) . Springer , 398\u2013413. https:\/\/doi.org\/10.1007\/3-540-58184-7_118 10.1007\/3-540-58184-7_118 Kaku Takeuchi, Kohei Honda, and Makoto Kubo. 1994. An Interaction-based Language and its Typing System. In PARLE(LNCS, Vol.\u00a0817). Springer, 398\u2013413. https:\/\/doi.org\/10.1007\/3-540-58184-7_118"},{"key":"e_1_3_2_1_42_1","first-page":"583","article-title":"Typing the Behavior of Software Components using Session Types","volume":"73","author":"Vallecillo Antonio","year":"2006","unstructured":"Antonio Vallecillo , Vasco\u00a0Thudichum Vasconcelos , and Ant\u00f3nio Ravara . 2006 . Typing the Behavior of Software Components using Session Types . Fundam. Inform. 73 , 4 (2006), 583 \u2013 598 . Antonio Vallecillo, Vasco\u00a0Thudichum Vasconcelos, and Ant\u00f3nio Ravara. 2006. Typing the Behavior of Software Components using Session Types. Fundam. Inform. 73, 4 (2006), 583\u2013598.","journal-title":"Fundam. Inform."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.06.028"},{"key":"#cr-split#-e_1_3_2_1_44_1.1","doi-asserted-by":"crossref","unstructured":"Philip Wadler. 2012. Propositions as sessions. In ICFP. ACM 273-286. https:\/\/doi.org\/10.1145\/2364527.2364568 10.1145\/2364527.2364568","DOI":"10.1145\/2398856.2364568"},{"key":"#cr-split#-e_1_3_2_1_44_1.2","doi-asserted-by":"crossref","unstructured":"Philip Wadler. 2012. Propositions as sessions. In ICFP. ACM 273-286. https:\/\/doi.org\/10.1145\/2364527.2364568","DOI":"10.1145\/2398856.2364568"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.056"},{"volume-title":"FORTE(LNCS, Vol.\u00a012719)","author":"Zalakain Uma","key":"e_1_3_2_1_46_1","unstructured":"Uma Zalakain and Ornela Dardha . 2021. \u03c0 with Leftovers: A Mechanisation in Agda . In FORTE(LNCS, Vol.\u00a012719) . Springer , 157\u2013174. https:\/\/doi.org\/10.1007\/978-3-030-78089-0_9 10.1007\/978-3-030-78089-0_9 Uma Zalakain and Ornela Dardha. 2021. \u03c0 with Leftovers: A Mechanisation in Agda. In FORTE(LNCS, Vol.\u00a012719). Springer, 157\u2013174. https:\/\/doi.org\/10.1007\/978-3-030-78089-0_9"},{"key":"e_1_3_2_1_47_1","unstructured":"Uma Zalakain and Ornela Dardha. 2021. Co-Contextual Typing Inference for the Linear \u03c0-Calculus in Agda (Extended Abstract). In TyDe. http:\/\/www.dcs.gla.ac.uk\/\u00a0ornela\/publications\/ZDb21.pdf  Uma Zalakain and Ornela Dardha. 2021. Co-Contextual Typing Inference for the Linear \u03c0-Calculus in Agda (Extended Abstract). In TyDe. http:\/\/www.dcs.gla.ac.uk\/\u00a0ornela\/publications\/ZDb21.pdf"}],"event":{"name":"PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming","acronym":"PPDP 2022","location":"Tbilisi Georgia"},"container-title":["Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551357.3556676","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551357.3556676","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:25Z","timestamp":1750186825000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551357.3556676"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,20]]},"references-count":53,"alternative-id":["10.1145\/3551357.3556676","10.1145\/3551357"],"URL":"https:\/\/doi.org\/10.1145\/3551357.3556676","relation":{},"subject":[],"published":{"date-parts":[[2022,9,20]]},"assertion":[{"value":"2022-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}