{"id":"https://openalex.org/W4226245203","doi":"https://doi.org/10.1007/978-3-030-99336-8_17","title":"Structured Handling of Scoped Effects","display_name":"Structured Handling of Scoped Effects","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4226245203","doi":"https://doi.org/10.1007/978-3-030-99336-8_17"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-99336-8_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99336-8_17","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_17.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":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_17.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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":true,"raw_author_name":"Zhixuan Yang","raw_affiliation_strings":["Imperial College London, London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077353906","display_name":"Marco Paviotti","orcid":"https://orcid.org/0000-0002-1513-0807"},"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":"Marco Paviotti","raw_affiliation_strings":["Imperial College London, London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"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"],"affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056674569","display_name":"Birthe van den Berg","orcid":null},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Birthe van den Berg","raw_affiliation_strings":["KU Leuven, Leuven, Belgium"],"affiliations":[{"raw_affiliation_string":"KU Leuven, Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050247934","display_name":"Tom Schrijvers","orcid":"https://orcid.org/0000-0001-8771-5559"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Tom Schrijvers","raw_affiliation_strings":["KU Leuven, Leuven, Belgium"],"affiliations":[{"raw_affiliation_string":"KU Leuven, Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5018190026"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":3.7652,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.94360014,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"462","last_page":"491"},"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.9997000098228455,"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.9997000098228455,"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.9965000152587891,"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.9901000261306763,"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.7043190598487854},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5765827298164368},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5354580879211426},{"id":"https://openalex.org/keywords/adjunction","display_name":"Adjunction","score":0.5336753726005554},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4946276843547821},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.48030585050582886},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3347967267036438},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16744479537010193},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15768340229988098},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.07075977325439453}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7043190598487854},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5765827298164368},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5354580879211426},{"id":"https://openalex.org/C2780580338","wikidata":"https://www.wikidata.org/wiki/Q577835","display_name":"Adjunction","level":2,"score":0.5336753726005554},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4946276843547821},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.48030585050582886},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3347967267036438},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16744479537010193},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15768340229988098},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.07075977325439453},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-030-99336-8_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99336-8_17","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_17.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:lirias2repo.kuleuven.be:20.500.12942/689336","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/bitstream/20.500.12942/689336/2/paper.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"European Symposium on Programming, Munich, Germany, 2-7 April 2022","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:kar.kent.ac.uk:99278","is_oa":true,"landing_page_url":"https://link.springer.com/chapter/10.1007/978-3-030-99336-8_17","pdf_url":null,"source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"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":"","raw_type":"Conference or workshop item"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-99336-8_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99336-8_17","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_17.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":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.47999998927116394}],"awards":[{"id":"https://openalex.org/G1777763905","display_name":"SCOPE: Scoped Contextual Operations and Effects.","funder_award_id":"EP/S028129/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4598621829","display_name":null,"funder_award_id":"C14/20/079","funder_id":"https://openalex.org/F4320322308","funder_display_name":"KU Leuven"},{"id":"https://openalex.org/G5778630555","display_name":null,"funder_award_id":"EP/S028129/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"},{"id":"https://openalex.org/F4320322308","display_name":"KU Leuven","ror":"https://ror.org/05f950310"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4226245203.pdf","grobid_xml":"https://content.openalex.org/works/W4226245203.grobid-xml"},"referenced_works_count":63,"referenced_works":["https://openalex.org/W49202426","https://openalex.org/W847838221","https://openalex.org/W1488638832","https://openalex.org/W1521014576","https://openalex.org/W1527090010","https://openalex.org/W1545172682","https://openalex.org/W1595870841","https://openalex.org/W1606211906","https://openalex.org/W1830421783","https://openalex.org/W1859242033","https://openalex.org/W1965620900","https://openalex.org/W1980827618","https://openalex.org/W1985220128","https://openalex.org/W1994718921","https://openalex.org/W1995674161","https://openalex.org/W1997143185","https://openalex.org/W2007435074","https://openalex.org/W2014257084","https://openalex.org/W2020531742","https://openalex.org/W2048365843","https://openalex.org/W2073001576","https://openalex.org/W2075406361","https://openalex.org/W2076018351","https://openalex.org/W2081935872","https://openalex.org/W2089289008","https://openalex.org/W2092614790","https://openalex.org/W2097704879","https://openalex.org/W2102036964","https://openalex.org/W2117818027","https://openalex.org/W2123887510","https://openalex.org/W2129902163","https://openalex.org/W2130486716","https://openalex.org/W2136660485","https://openalex.org/W2141576692","https://openalex.org/W2151015971","https://openalex.org/W2162914952","https://openalex.org/W2163552400","https://openalex.org/W2170114248","https://openalex.org/W2184230987","https://openalex.org/W2208923056","https://openalex.org/W2295914203","https://openalex.org/W2561708922","https://openalex.org/W2567568390","https://openalex.org/W2798715557","https://openalex.org/W2896434942","https://openalex.org/W2949330042","https://openalex.org/W3010987607","https://openalex.org/W3032462436","https://openalex.org/W3098769964","https://openalex.org/W3099136629","https://openalex.org/W3101155261","https://openalex.org/W3103594074","https://openalex.org/W3116245912","https://openalex.org/W3128947121","https://openalex.org/W3160062581","https://openalex.org/W3193490601","https://openalex.org/W3194811120","https://openalex.org/W3206867051","https://openalex.org/W4226245203","https://openalex.org/W4235724312","https://openalex.org/W4249695041","https://openalex.org/W6638234840","https://openalex.org/W6893823145"],"related_works":["https://openalex.org/W4313484269","https://openalex.org/W3103103264","https://openalex.org/W2739641697","https://openalex.org/W2583764276","https://openalex.org/W3046664645","https://openalex.org/W4243252198","https://openalex.org/W2887836968","https://openalex.org/W2525343210","https://openalex.org/W2093544657","https://openalex.org/W2118300983"],"abstract_inverted_index":{"Abstract":[0],"Algebraic":[1],"effects":[2,74],"offer":[3],"a":[4,9,69,91,97,119],"versatile":[5],"framework":[6],"that":[7,19,75,110,122],"covers":[8],"wide":[10],"variety":[11],"of":[12,17,66,72,99,128,150,161,163],"effects.":[13],"However,":[14],"the":[15,64,145],"family":[16],"operations":[18,47,125],"delimit":[20],"scopes":[21],"are":[22,26,50,167],"not":[23],"algebraic":[24,41,129],"and":[25,53,80,96,118,152,171],"usually":[27],"modelled":[28],"as":[29],"handlers,":[30],"thus":[31],"preventing":[32],"them":[33],"from":[34],"being":[35],"used":[36],"freely":[37],"in":[38,126],"conjunction":[39],"with":[40],"operations.":[42,137],"Although":[43],"proposals":[44],"for":[45,58,78,134,169],"scoped":[46,73,124,136,164],"exist,":[48],"they":[49],"either":[51],"ad-hoc":[52],"unprincipled,":[54],"or":[55],"too":[56],"inconvenient":[57],"practical":[59],"programming.":[60],"This":[61],"paper":[62],"provides":[63],"best":[65],"both":[67],"worlds:":[68],"theoretically-founded":[70],"model":[71,84,142],"is":[76,85],"convenient":[77],"implementation":[79,151],"reasoning.":[81],"Our":[82],"new":[83,112,141],"based":[86],"on":[87],"an":[88,114],"adjunction":[89],"between":[90,106,148],"locally":[92],"finitely":[93],"presentable":[94],"category":[95,98],"functorial":[100],"algebras":[101],".":[102],"Using":[103],"comparison":[104],"functors":[105],"adjunctions,":[107],"we":[108],"show":[109],"our":[111,140,155],"model,":[113,117],"existing":[115],"indexed":[116],"third":[120],"approach":[121,156],"simulates":[123],"terms":[127],"ones":[130],"have":[131],"equal":[132],"expressivity":[133],"handling":[135],"We":[138],"consider":[139],"to":[143],"be":[144],"sweet":[146],"spot":[147],"ease":[149],"structuredness.":[153],"Additionally,":[154],"automatically":[157],"induces":[158],"fusion":[159],"laws":[160],"handlers":[162],"effects,":[165],"which":[166],"useful":[168],"reasoning":[170],"optimisation.":[172]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2022-05-05T00:00:00"}