{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T00:44:25Z","timestamp":1775868265951,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T00:00:00Z","timestamp":1452470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/K011715\/1"],"award-info":[{"award-number":["EP\/K011715\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"name":"European Commision","award":["FP7-612985"],"award-info":[{"award-number":["FP7-612985"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,1,11]]},"DOI":"10.1145\/2837614.2837634","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T09:05:00Z","timestamp":1452157500000},"page":"568-581","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Effects as sessions, sessions as effects"],"prefix":"10.1145","author":[{"given":"Dominic","family":"Orchard","sequence":"first","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]}],"member":"320","published-online":{"date-parts":[[2016,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2930"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680900728X"},{"issue":"1","key":"e_1_3_2_1_3_1","first-page":"108","article-title":"Programming with algebraic effects and handlers","volume":"84","author":"Bauer Andrej","year":"2015","journal-title":"JLAMP"},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","first-page":"45","volume-title":"Proc. TLCA\u201901","author":"Berger Martin","year":"2001"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-005-0175-1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_19"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","first-page":"236","volume-title":"CONCUR","author":"Caires Lu\u00b4\u0131s"},{"key":"e_1_3_2_1_8_1","first-page":"1","article-title":"Global escape in multiparty sessions","volume":"29","author":"Capecchi Sara","year":"2015","journal-title":"MSCS"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85361-9_32"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2220365.2220367"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2643135.2643138"},{"key":"e_1_3_2_1_12_1","first-page":"431","volume-title":"ESOP","author":"\u00b8ek Ezgi C"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328897.1328457"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370776.2370794"},{"key":"e_1_3_2_1_15_1","series-title":"LNCS","first-page":"296","volume-title":"CONCUR","author":"Demangeon Romain"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-014-0218-8"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535856"},{"key":"e_1_3_2_1_18_1","volume-title":"DTIC Document","author":"Filinski Andrezej","year":"1996"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-005-0177-z"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319848"},{"key":"e_1_3_2_1_21_1","unstructured":"Jean-Yves\n       \n      Girard Yves\n       \n      Lafont and \n      \n      \n      Paul\n       \n      Taylor\n      . \n      Proofs\n       and \n      Types volume \n  7\n   of \n  Cambridge Tracts in Theoretical Computer Science\n  . \n  CUP 1989\n  .   Jean-Yves Girard Yves Lafont and Paul Taylor. Proofs and Types volume 7 of Cambridge Tracts in Theoretical Computer Science. CUP 1989."},{"key":"e_1_3_2_1_22_1","series-title":"LNCS","first-page":"138","volume-title":"ESOP\u201998","author":"Honda Kohei"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00074-7"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1286821.1286822"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328472"},{"key":"e_1_3_2_1_26_1","unstructured":"a full version will appear in JACM.  a full version will appear in JACM."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2917"},{"key":"e_1_3_2_1_28_1","series-title":"EPTCS","first-page":"91","volume-title":"Proc. of PLACES","author":"Imai Keigo","year":"2010"},{"key":"e_1_3_2_1_29_1","volume-title":"MIT","author":"Jouvelot Pierre","year":"1989"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103621.2103698"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535846"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/330249.330251"},{"key":"e_1_3_2_1_33_1","first-page":"584","volume-title":"ESOP","author":"Lindley Sam"},{"issue":"2","key":"e_1_3_2_1_34_1","first-page":"119","article-title":"Functions as processes","volume":"2","author":"Milner Robin","year":"1992","journal-title":"MSCS"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2015.02.002"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Alan\n       \n      Mycroft Dominic\n       \n      Orchard and \n      \n      \n      Tomas\n       \n      Petricek\n    .\n      \n  \n   \n  Effect systems revisited\u2013 control-flow algebra and semantics\n  . volume \n  9560\n   of \n  LNCS\n  . \n  Springer 2016\n  .  Alan Mycroft Dominic Orchard and Tomas Petricek. Effect systems revisited\u2013 control-flow algebra and semantics. volume 9560 of LNCS. Springer 2016.","DOI":"10.1007\/978-3-319-27810-0_1"},{"key":"e_1_3_2_1_38_1","series-title":"LNCS","first-page":"70","volume-title":"PADL","author":"Neubauer Matthias"},{"key":"e_1_3_2_1_39_1","first-page":"136","volume-title":"Correct System Design","author":"Nielson Flemming"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633368"},{"key":"e_1_3_2_1_41_1","unstructured":"Dominic Orchard Tomas Petricek and Alan Mycroft. The semantic marriage of monads and effects. arXiv:1401.5391 2014.  Dominic Orchard Tomas Petricek and Alan Mycroft. The semantic marriage of monads and effects. arXiv:1401.5391 2014."},{"key":"e_1_3_2_1_43_1","volume-title":"EPTCS","author":"Orchard Dominic","year":"2015"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.08.001"},{"issue":"5","key":"e_1_3_2_1_45_1","first-page":"409","article-title":"Typing and subtyping for mobile processes","volume":"6","author":"Pierce Benjamin","year":"1996","journal-title":"MSCS"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/337244.337261"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023064908962"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411290"},{"key":"e_1_3_2_1_49_1","unstructured":"Matthew Sackman and Susan Eisenbach. Session Types in Haskell (Updating Message Passing for the 21st Century) 2008. Technical report Imperial College London.  Matthew Sackman and Susan Eisenbach. Session Types in Haskell (Updating Message Passing for the 21st Century) 2008. Technical report Imperial College London."},{"key":"e_1_3_2_1_50_1","volume-title":"Cambridge University Press","author":"Sangiorgi Davide","year":"2001"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185530"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28729-9_23"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_20"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681400001X"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/601775.601776"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2003.08.004"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.056"}],"event":{"name":"POPL '16: The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"St. Petersburg FL USA","acronym":"POPL '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837634","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2837614.2837634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:43:37Z","timestamp":1750211017000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837634"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,11]]},"references-count":57,"alternative-id":["10.1145\/2837614.2837634","10.1145\/2837614"],"URL":"https:\/\/doi.org\/10.1145\/2837614.2837634","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2914770.2837634","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,1,11]]},"assertion":[{"value":"2016-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}