{"id":"https://openalex.org/W4391622442","doi":"https://doi.org/10.1007/978-3-031-57262-3_1","title":"Scoped Effects as Parameterized Algebraic Theories","display_name":"Scoped Effects as Parameterized Algebraic Theories","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4391622442","doi":"https://doi.org/10.1007/978-3-031-57262-3_1"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-57262-3_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57262-3_1","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57262-3_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57262-3_1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061903791","display_name":"Sam Lindley","orcid":"https://orcid.org/0000-0002-1360-4714"},"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":"Sam Lindley","raw_affiliation_strings":["University of Edinburgh, Edinburgh, UK"],"raw_orcid":"https://orcid.org/0000-0002-1360-4714","affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","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":true,"raw_author_name":"Cristina Matache","raw_affiliation_strings":["University of Edinburgh, Edinburgh, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh, 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, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068183682","display_name":"Sam Staton","orcid":"https://orcid.org/0000-0002-0141-8922"},"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, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford, 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, UK"],"raw_orcid":"https://orcid.org/0000-0002-4161-985X","affiliations":[{"raw_affiliation_string":"Imperial College London, 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, UK"],"raw_orcid":"https://orcid.org/0000-0001-5573-3357","affiliations":[{"raw_affiliation_string":"Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5086036411"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.9715,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.84679772,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"3","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.0868000015616417,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.0868000015616417,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.07580000162124634,"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/parameterized-complexity","display_name":"Parameterized complexity","score":0.8879433870315552},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.6846936345100403},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.48431387543678284},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.42880910634994507},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.35358425974845886},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35184764862060547},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.140852689743042},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.12462553381919861}],"concepts":[{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.8879433870315552},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.6846936345100403},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48431387543678284},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42880910634994507},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.35358425974845886},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35184764862060547},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.140852689743042},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.12462553381919861},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-031-57262-3_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57262-3_1","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57262-3_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:arXiv.org:2402.03103","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2402.03103","pdf_url":"https://arxiv.org/pdf/2402.03103","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:publications/f5afd0f3-aff7-475c-bdfb-26527c8aeca0","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/f5afd0f3-aff7-475c-bdfb-26527c8aeca0","pdf_url":"https://pure-oai.bham.ac.uk/ws/files/223684242/978-3-031-57262-3_1.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":"Lindley, S, Matache, C, Moss, S, Staton, S, Wu, N & Yang, Z 2024, Scoped Effects as Parameterized Algebraic Theories. in S Weirich (ed.), Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6\u201311, 2024, Proceedings, Part I. 1 edn, Lecture Notes in Computer Science, vol. 14576, Springer, pp. 3-21, ESOP 2024, Luxembourg City, Luxembourg, 8/04/24. https://doi.org/10.1007/978-3-031-57262-3_1","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:32b1d594-e062-4f20-9ca9-1a2102e7480d","is_oa":true,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:32b1d594-e062-4f20-9ca9-1a2102e7480d","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"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":"Symplectic Elements","raw_type":"Conference item"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/c5888a7d-360b-4824-a920-d7b7687c5eef","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/c5888a7d-360b-4824-a920-d7b7687c5eef","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Lindley, S, Matache, C, Moss, S K, Staton, S, Wu, N & Yang, Z 2024, Scoped Effects as Parameterized Algebraic Theories. in Proceedings of the 33rd European Symposium on Programming ESOP 2024. vol. 14576, Lecture Notes in Computer Science, vol. 14576, pp. 3-21, 33rd European Symposium on Programming, Luxembourg City, Luxembourg, 6/04/24. https://doi.org/10.1007/978-3-031-57262-3_1","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-57262-3_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57262-3_1","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57262-3_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.5199999809265137,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"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":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4391622442.pdf"},"referenced_works_count":35,"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/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/W2110189158","https://openalex.org/W2112091567","https://openalex.org/W2117753869","https://openalex.org/W2122142025","https://openalex.org/W2129902163","https://openalex.org/W2132734990","https://openalex.org/W2160234152","https://openalex.org/W2278533356","https://openalex.org/W2798715557","https://openalex.org/W2911865844","https://openalex.org/W2964301529","https://openalex.org/W4226245203","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/W4388310185"],"related_works":["https://openalex.org/W2051058708","https://openalex.org/W154868527","https://openalex.org/W1494268238","https://openalex.org/W1983207144","https://openalex.org/W2490706771","https://openalex.org/W2480116122","https://openalex.org/W1976468483","https://openalex.org/W1516574938","https://openalex.org/W2563912921","https://openalex.org/W2407611282"],"abstract_inverted_index":{"Abstract":[0],"Notions":[1],"of":[2,14,18,91,114,118,132,138,141,145],"computation":[3],"can":[4,62],"be":[5,63],"modelled":[6],"by":[7,86,136],"monads.":[8],"Algebraic":[9],"effects":[10,69,72,85,106],"offer":[11],"a":[12,80,89,98],"characterization":[13,113],"monads":[15,115],"in":[16,116],"terms":[17,117],"algebraic":[19,68,75,93,126],"operations":[20,25],"and":[21,37,73,107,120,125],"equational":[22,102,139],"axioms,":[23],"where":[24],"are":[26],"basic":[27],"programming":[28,46],"features,":[29],"such":[30,52],"as":[31,53],"reading":[32],"or":[33,56],"updating":[34],"the":[35,130],"state,":[36],"axioms":[38],"specify":[39],"observably":[40],"equivalent":[41],"expressions.":[42],"However,":[43],"many":[44],"useful":[45],"features":[47],"depend":[48],"on":[49,83],"additional":[50],"mechanisms":[51,61],"delimited":[54],"scopes":[55],"dynamically":[57],"allocated":[58],"resources.":[59],"Such":[60],"supported":[64],"via":[65],"extensions":[66],"to":[67,101,110],"including":[70],"scoped":[71,84,105,124,146],"parameterized":[74,92],"theories":[76],".":[77],"We":[78,128],"present":[79],"fresh":[81,134],"perspective":[82,135],"translation":[87,96],"into":[88],"variation":[90],"theories.":[94],"The":[95],"enables":[97],"new":[99],"approach":[100],"reasoning":[103],"for":[104],"gives":[108],"rise":[109],"an":[111],"alternative":[112],"generators":[119],"equations":[121],"involving":[122],"both":[123],"operations.":[127],"demonstrate":[129],"power":[131],"our":[133],"way":[137],"characterizations":[140],"several":[142],"known":[143],"models":[144],"effects.":[147]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2024-04-05T00:00:00"}