{"id":"https://openalex.org/W4410089372","doi":"https://doi.org/10.1145/3731678","title":"Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories","display_name":"Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories","publication_year":2025,"publication_date":"2025-05-05","ids":{"openalex":"https://openalex.org/W4410089372","doi":"https://doi.org/10.1145/3731678"},"language":"en","primary_location":{"id":"doi:10.1145/3731678","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3731678","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://pure-oai.bham.ac.uk/ws/files/267928689/3731678.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086036411","display_name":"Cristina Matache","orcid":"https://orcid.org/0009-0003-6036-6426"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Cristina Matache","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom of Great Britain and Northern Ireland","University of Edinburgh, UK"],"raw_orcid":"https://orcid.org/0009-0003-6036-6426","affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061903791","display_name":"Sam Lindley","orcid":"https://orcid.org/0000-0002-1360-4714"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]},{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sam Lindley","raw_affiliation_strings":["University of Birmingham, Birmingham, United Kingdom of Great Britain and Northern Ireland","University of Edinburgh, UK"],"raw_orcid":"https://orcid.org/0000-0002-1360-4714","affiliations":[{"raw_affiliation_string":"University of Birmingham, Birmingham, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033995077","display_name":"Sean Moss","orcid":"https://orcid.org/0009-0005-3930-5340"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sean Moss","raw_affiliation_strings":["University of Birmingham, Birmingham, United Kingdom of Great Britain and Northern Ireland","University of Birmingham, UK"],"raw_orcid":"https://orcid.org/0009-0005-3930-5340","affiliations":[{"raw_affiliation_string":"University of Birmingham, Birmingham, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"University of Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Sam Staton","orcid":"https://orcid.org/0000-0002-7149-3805"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sam Staton","raw_affiliation_strings":["University of Oxford, Oxford, United Kingdom of Great Britain and Northern Ireland","University of Oxford, UK"],"raw_orcid":"https://orcid.org/0000-0002-7149-3805","affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072641397","display_name":"Nicolas Wu","orcid":"https://orcid.org/0000-0002-4161-985X"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nicolas Wu","raw_affiliation_strings":["Imperial College London, London, United Kingdom of Great Britain and Northern Ireland","Imperial College London, UK"],"raw_orcid":"https://orcid.org/0000-0002-4161-985X","affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018190026","display_name":"Zhixuan Yang","orcid":"https://orcid.org/0000-0001-5573-3357"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Zhixuan Yang","raw_affiliation_strings":["Imperial College London, London, United Kingdom of Great Britain and Northern Ireland","Imperial College London, UK"],"raw_orcid":"https://orcid.org/0000-0001-5573-3357","affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.5175,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.92362171,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"47","issue":"2","first_page":"1","last_page":"33"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8909245729446411},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.8380826711654663},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5039867758750916},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.462001770734787},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.17511087656021118},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06978708505630493}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8909245729446411},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.8380826711654663},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5039867758750916},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.462001770734787},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.17511087656021118},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06978708505630493},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3731678","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3731678","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire/1aff2f64-218d-4956-8fc3-68d3577704ba","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/1aff2f64-218d-4956-8fc3-68d3577704ba","pdf_url":"https://pure-oai.bham.ac.uk/ws/files/267928689/3731678.pdf","source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Matache, C, Lindley, S, Moss, S, Staton, S, Wu, N & Yang, Z 2025, 'Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories', ACM Transactions on Programming Languages and Systems, vol. 47, no. 2, 8. https://doi.org/10.1145/3731678","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/d5c95231-2495-4c01-a666-aebf1e867ba5","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/d5c95231-2495-4c01-a666-aebf1e867ba5","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Matache, C, Lindley, S, Moss, S, Staton, S, Wu, N & Yang, Z 2025, 'Scoped effects, scoped operations, and parameterized algebraic theories', ACM Transactions on Programming Languages and Systems, vol. 47, no. 2, 8, pp. 1-33. https://doi.org/10.1145/3731678","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.ed.ac.uk:publications/d5c95231-2495-4c01-a666-aebf1e867ba5","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11820/d5c95231-2495-4c01-a666-aebf1e867ba5","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Matache, C, Lindley, S, Moss, S, Staton, S, Wu, N & Yang, Z 2025, 'Scoped effects, scoped operations, and parameterized algebraic theories', ACM Transactions on Programming Languages and Systems, vol. 47, no. 2, 8, pp. 1-33. https://doi.org/10.1145/3731678","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire/1aff2f64-218d-4956-8fc3-68d3577704ba","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/1aff2f64-218d-4956-8fc3-68d3577704ba","pdf_url":"https://pure-oai.bham.ac.uk/ws/files/267928689/3731678.pdf","source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Matache, C, Lindley, S, Moss, S, Staton, S, Wu, N & Yang, Z 2025, 'Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories', ACM Transactions on Programming Languages and Systems, vol. 47, no. 2, 8. https://doi.org/10.1145/3731678","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G4516736450","display_name":null,"funder_award_id":"-21-1-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G6789134701","display_name":null,"funder_award_id":"MR/T043830/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410089372.pdf","grobid_xml":"https://content.openalex.org/works/W4410089372.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W199863285","https://openalex.org/W1488638832","https://openalex.org/W1508489761","https://openalex.org/W1521014576","https://openalex.org/W1549977012","https://openalex.org/W1567516333","https://openalex.org/W1606211906","https://openalex.org/W1859542606","https://openalex.org/W1963772255","https://openalex.org/W1980827618","https://openalex.org/W1997143185","https://openalex.org/W2009839058","https://openalex.org/W2048365843","https://openalex.org/W2050286254","https://openalex.org/W2075406361","https://openalex.org/W2107674601","https://openalex.org/W2108760508","https://openalex.org/W2110189158","https://openalex.org/W2112091567","https://openalex.org/W2117753869","https://openalex.org/W2122142025","https://openalex.org/W2129902163","https://openalex.org/W2132734990","https://openalex.org/W2156876717","https://openalex.org/W2160234152","https://openalex.org/W2278533356","https://openalex.org/W2734348649","https://openalex.org/W2798715557","https://openalex.org/W2911865844","https://openalex.org/W2964301529","https://openalex.org/W3032462436","https://openalex.org/W3101155261","https://openalex.org/W4205804789","https://openalex.org/W4226245203","https://openalex.org/W4229859481","https://openalex.org/W4235724312","https://openalex.org/W4289753156","https://openalex.org/W4293812590","https://openalex.org/W4293813127","https://openalex.org/W4319323214","https://openalex.org/W4366563798","https://openalex.org/W4386316939","https://openalex.org/W4388299483","https://openalex.org/W4391622442"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051058708","https://openalex.org/W1494268238","https://openalex.org/W154868527","https://openalex.org/W1983207144","https://openalex.org/W2490706771","https://openalex.org/W2480116122","https://openalex.org/W4255576661"],"abstract_inverted_index":{"Notions":[0],"of":[1,13,17,90,113,117,131,136,139,143],"computation":[2],"can":[3,61],"be":[4,62],"modeled":[5],"by":[6,85,134],"monads.":[7],"Algebraic":[8],"effects":[9,68,71,84,105],"offer":[10],"a":[11,79,88,97],"characterization":[12,112],"monads":[14,114],"in":[15,115],"terms":[16,116],"algebraic":[18,67,74,92,125],"operations":[19,24],"and":[20,36,72,106,119,124],"equational":[21,101,137],"axioms,":[22],"where":[23],"are":[25],"basic":[26],"programming":[27,45],"features,":[28],"such":[29,51],"as":[30,52],"reading":[31],"or":[32,55],"updating":[33],"the":[34,129],"state,":[35],"axioms":[37],"specify":[38],"observably":[39],"equivalent":[40],"expressions.":[41],"However,":[42],"many":[43],"useful":[44],"features":[46],"depend":[47],"on":[48,82],"additional":[49],"mechanisms":[50,60],"delimited":[53],"scopes":[54],"dynamically":[56],"allocated":[57],"resources.":[58],"Such":[59],"supported":[63],"via":[64],"extensions":[65],"to":[66,100,109],"including":[69],"scoped":[70,83,104,123,144],"parameterized":[73,91],"theories":[75],".":[76],"We":[77,127],"present":[78],"fresh":[80],"perspective":[81],"translation":[86,95],"into":[87],"variation":[89],"theories.":[93],"The":[94],"enables":[96],"new":[98],"approach":[99,133],"reasoning":[102],"for":[103],"gives":[107],"rise":[108],"an":[110],"alternative":[111],"generators":[118],"equations":[120],"involving":[121],"both":[122],"operations.":[126],"demonstrate":[128],"power":[130],"our":[132],"way":[135],"characterizations":[138],"several":[140],"known":[141],"models":[142],"effects.":[145]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}