{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T13:58:30Z","timestamp":1770040710955,"version":"3.49.0"},"reference-count":46,"publisher":"Association for Computing Machinery (ACM)","issue":"2","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Program. Lang. Syst."],"published-print":{"date-parts":[[2025,6,30]]},"abstract":"<jats:p>\n            Notions of computation can be modeled by monads.\n            <jats:italic toggle=\"yes\">Algebraic effects<\/jats:italic>\n            offer a characterization of monads in terms of algebraic operations and equational axioms, where operations are basic programming features, such as reading or updating the state, and axioms specify observably equivalent expressions. However, many useful programming features depend on additional mechanisms such as delimited scopes or dynamically allocated resources. Such mechanisms can be supported via extensions to algebraic effects including\n            <jats:italic toggle=\"yes\">scoped effects<\/jats:italic>\n            and\n            <jats:italic toggle=\"yes\">parameterized algebraic theories<\/jats:italic>\n            . We present a fresh perspective on scoped effects by translation into a variation of parameterized algebraic theories. The translation enables a new approach to equational reasoning for scoped effects and gives rise to an alternative characterization of monads in terms of generators and equations involving both scoped and algebraic operations. We demonstrate the power of our approach by way of equational characterizations of several known models of scoped effects.\n          <\/jats:p>","DOI":"10.1145\/3731678","type":"journal-article","created":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T15:49:27Z","timestamp":1746460167000},"page":"1-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories"],"prefix":"10.1145","volume":"47","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-6036-6426","authenticated-orcid":false,"given":"Cristina","family":"Matache","sequence":"first","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom of Great Britain and Northern Ireland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1360-4714","authenticated-orcid":false,"given":"Sam","family":"Lindley","sequence":"additional","affiliation":[{"name":"University of Birmingham, Birmingham, United Kingdom of Great Britain and Northern Ireland"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-3930-5340","authenticated-orcid":false,"given":"Sean","family":"Moss","sequence":"additional","affiliation":[{"name":"University of Birmingham, Birmingham, United Kingdom of Great Britain and Northern Ireland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7149-3805","authenticated-orcid":false,"given":"Sam","family":"Staton","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom of Great Britain and Northern Ireland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4161-985X","authenticated-orcid":false,"given":"Nicolas","family":"Wu","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom of Great Britain and Northern Ireland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5573-3357","authenticated-orcid":false,"given":"Zhixuan","family":"Yang","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom of Great Britain and Northern Ireland"}]}],"member":"320","published-online":{"date-parts":[[2025,6,14]]},"reference":[{"key":"e_1_3_2_2_1","volume-title":"Handbook of Logic in Computer Science","author":"Abramsky Samson","year":"1994","unstructured":"Samson Abramsky and Achim Jung. 1994. Domain theory. In Handbook of Logic in Computer Science. S. Abramsky, Dov\u00a0M. Gabbay, and T.\u00a0S.\u00a0E. Maibaum (Eds.), Clarendon Press, Vol.\u00a03."},{"key":"e_1_3_2_3_1","doi-asserted-by":"publisher","unstructured":"Andrej Bauer. 2019. What is algebraic about algebraic effects and handlers? arxiv:1807.05923. Retrieved from 10.48550\/arXiv.1807.05923","DOI":"10.48550\/arXiv.1807.05923"},{"key":"e_1_3_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561458"},{"key":"e_1_3_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49630-5_2"},{"key":"e_1_3_2_6_1","doi-asserted-by":"publisher","unstructured":"Roger Bosman Birthe van den Berg Wenhao Tang and Tom Schrijvers. 2023. A calculus for scoped effects & handlers. arxiv:2304.09697. Retrieved from 10.48550\/arXiv.2304.09697","DOI":"10.48550\/arXiv.2304.09697"},{"key":"e_1_3_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0060438"},{"key":"e_1_3_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498715"},{"key":"e_1_3_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15205-4_26"},{"key":"e_1_3_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15155-2_33"},{"key":"e_1_3_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603163"},{"key":"e_1_3_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8748-4"},{"key":"e_1_3_2_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.03.013"},{"key":"e_1_3_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3547654"},{"key":"e_1_3_2_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(93)90092-8"},{"key":"e_1_3_2_17_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.50.5.869"},{"key":"e_1_3_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-57262-3_1"},{"key":"e_1_3_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-99902-4_3"},{"key":"e_1_3_2_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08918-8_23"},{"key":"e_1_3_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2010.46"},{"key":"e_1_3_2_22_1","volume-title":"Communicating and Mobile Systems: The  \\(\\pi\\) -Calculus","author":"Milner Robin","year":"1999","unstructured":"Robin Milner. 1999. Communicating and Mobile Systems: The \\(\\pi\\) -Calculus. Cambridge University Press."},{"key":"e_1_3_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1989.39155"},{"key":"e_1_3_2_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604147"},{"key":"e_1_3_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209166"},{"key":"e_1_3_2_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796817000077"},{"key":"e_1_3_2_28_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000116"},{"key":"e_1_3_2_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45315-6_1"},{"key":"e_1_3_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45931-6_24"},{"key":"e_1_3_2_31_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023064908962"},{"key":"e_1_3_2_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.008"},{"key":"e_1_3_2_33_1","doi-asserted-by":"publisher","DOI":"10.2168\/lmcs-9(4:23)2013"},{"key":"e_1_3_2_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/935673"},{"issue":"7","key":"e_1_3_2_35_1","first-page":"83","article-title":"Enriched Lawvere theories","volume":"6","author":"Power John","year":"1999","unstructured":"John Power. 1999. Enriched Lawvere theories. Theory and Applications of Categories 6, 7 (1999), 83\u201393.","journal-title":"Theory and Applications of Categories"},{"key":"e_1_3_2_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.04.018"},{"key":"e_1_3_2_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.09.024"},{"key":"e_1_3_2_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37075-5_26"},{"key":"e_1_3_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2013.58"},{"key":"e_1_3_2_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2014.02.010"},{"key":"e_1_3_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676999"},{"key":"e_1_3_2_42_1","volume-title":"45th International Colloquium on Automata, Languages, and Programming (ICALP \u201918)","author":"Staton S.","year":"2018","unstructured":"S. Staton, D. Stein, H. Yang, N. L. Ackerman, C. Freer, and D. Roy. 2018. The Beta-Bernoulli process and algebraic effects. In 45th International Colloquium on Automata, Languages, and Programming (ICALP \u201918)."},{"key":"e_1_3_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3547639"},{"key":"e_1_3_2_44_1","doi-asserted-by":"publisher","unstructured":"Birthe van den Berg and Tom Schrijvers. 2023. A framework for higher-order effects & handlers. [arxiv]2302.01415 Retrieved from 10.48550\/arXiv.2302.01415","DOI":"10.48550\/arXiv.2302.01415"},{"key":"e_1_3_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633358"},{"key":"e_1_3_2_46_1","doi-asserted-by":"publisher","unstructured":"Zhixuan Yang Marco Paviotti Nicolas Wu Birthe van den Berg and Tom Schrijvers. 2022. Structured handling of scoped effects. Springer-Verlag Berlin 462\u2013491. DOI: 10.1007\/978-3-030-99336-8_17","DOI":"10.1007\/978-3-030-99336-8_17"},{"key":"e_1_3_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3607850"}],"container-title":["ACM Transactions on Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3731678","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T12:03:23Z","timestamp":1750075403000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731678"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,14]]},"references-count":46,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,6,30]]}},"alternative-id":["10.1145\/3731678"],"URL":"https:\/\/doi.org\/10.1145\/3731678","relation":{},"ISSN":["0164-0925","1558-4593"],"issn-type":[{"value":"0164-0925","type":"print"},{"value":"1558-4593","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,14]]},"assertion":[{"value":"2024-04-27","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-03-04","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-06-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}