{"id":"https://openalex.org/W4403223110","doi":"https://doi.org/10.1145/3689770","title":"Lexical Effect Handlers, Directly","display_name":"Lexical Effect Handlers, Directly","publication_year":2024,"publication_date":"2024-10-08","ids":{"openalex":"https://openalex.org/W4403223110","doi":"https://doi.org/10.1145/3689770"},"language":"en","primary_location":{"id":"doi:10.1145/3689770","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689770","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3689770","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102731403","display_name":"Cong Ma","orcid":"https://orcid.org/0009-0005-0842-4697"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Cong Ma","raw_affiliation_strings":["University of Waterloo, Waterloo, Canada"],"raw_orcid":"https://orcid.org/0009-0005-0842-4697","affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114242250","display_name":"Zhaoyi Ge","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Zhaoyi Ge","raw_affiliation_strings":["University of Waterloo, Waterloo, Canada"],"raw_orcid":"https://orcid.org/0009-0008-0100-0201","affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100670396","display_name":"Edward Lee","orcid":"https://orcid.org/0000-0001-7057-0912"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Edward Lee","raw_affiliation_strings":["University of Waterloo, Waterloo, Canada"],"raw_orcid":"https://orcid.org/0000-0001-7057-0912","affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100643391","display_name":"Yizhou Zhang","orcid":"https://orcid.org/0000-0002-8206-4694"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yizhou Zhang","raw_affiliation_strings":["University of Waterloo, Waterloo, Canada"],"raw_orcid":"https://orcid.org/0000-0002-8206-4694","affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5102731403"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":1.5801,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.86157869,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"8","issue":"OOPSLA2","first_page":"1670","last_page":"1698"},"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.9993000030517578,"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.9993000030517578,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9751999974250793,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9718000292778015,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/natural-language-processing","display_name":"Natural language processing","score":0.3666422367095947},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.3567066192626953},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3486793637275696},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.34167730808258057},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.3397606611251831},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.11108779907226562}],"concepts":[{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3666422367095947},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.3567066192626953},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3486793637275696},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.34167730808258057},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.3397606611251831},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.11108779907226562}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3689770","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689770","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3689770","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689770","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1971752790","https://openalex.org/W2005907808","https://openalex.org/W2017274604","https://openalex.org/W2057292961","https://openalex.org/W2073904768","https://openalex.org/W2086744387","https://openalex.org/W2135739536","https://openalex.org/W2148662736","https://openalex.org/W2295917400","https://openalex.org/W2410807300","https://openalex.org/W2561708922","https://openalex.org/W2777452194","https://openalex.org/W2900081643","https://openalex.org/W2995698344","https://openalex.org/W3014236027","https://openalex.org/W3033957710","https://openalex.org/W3039827481","https://openalex.org/W3107145433","https://openalex.org/W3109210160","https://openalex.org/W3149432941","https://openalex.org/W3167737351","https://openalex.org/W3170236839","https://openalex.org/W4225138414","https://openalex.org/W4282044797","https://openalex.org/W4307888371","https://openalex.org/W4387667016","https://openalex.org/W4387667212","https://openalex.org/W6893081194"],"related_works":["https://openalex.org/W4387497383","https://openalex.org/W2948807893","https://openalex.org/W2778153218","https://openalex.org/W2748952813","https://openalex.org/W1531601525","https://openalex.org/W4391375266","https://openalex.org/W2078814861","https://openalex.org/W2527526854","https://openalex.org/W1976181487","https://openalex.org/W1986764834"],"abstract_inverted_index":{"Lexically":[0],"scoping":[1,64],"effect":[2,29,58,103],"handlers":[3,30],"is":[4],"a":[5,13,53,68,91,116],"language-design":[6],"idea":[7],"that":[8,27,35,123],"equips":[9],"algebraic":[10],"effects":[11],"with":[12,70],"modular":[14],"semantics:":[15],"it":[16,124],"enables":[17],"local-reasoning":[18],"principles":[19],"without":[20],"giving":[21],"up":[22],"on":[23,115],"the":[24,43,62,88,97,111,120],"control-flow":[25],"expressiveness":[26],"makes":[28],"powerful.":[31],"However,":[32],"we":[33],"observe":[34],"existing":[36],"implementations":[37],"risk":[38],"incurring":[39],"costs":[40],"akin":[41],"to":[42,61,105,133],"run-time":[44],"search":[45],"for":[46,56],"dynamically":[47],"scoped":[48],"handlers.":[49],"This":[50],"paper":[51],"presents":[52],"compilation":[54],"strategy":[55],"lexical":[57,63],"handlers,":[59],"adhering":[60],"principle":[65],"and":[66,83],"targeting":[67],"language":[69,92],"low-level":[71,106],"control":[72],"over":[73],"stack":[74,107],"layout.":[75],"Key":[76],"aspects":[77],"of":[78,118],"this":[79],"approach":[80],"are":[81],"formalized":[82],"proven":[84],"correct.":[85],"We":[86,109],"embody":[87],"ideas":[89],"in":[90,135],"called":[93],"L":[94,98,112],"exa":[95,99,113],":":[96],"compiler":[100,114],"translates":[101],"high-level":[102],"handling":[104],"switching.":[108],"evaluate":[110],"set":[117],"benchmarks;":[119],"results":[121],"suggest":[122],"generates":[125],"efficient":[126],"code,":[127],"reducing":[128],"running-time":[129],"complexity":[130],"from":[131],"quadratic":[132],"linear":[134],"some":[136],"cases.":[137]},"counts_by_year":[{"year":2025,"cited_by_count":5}],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}