{"id":"https://openalex.org/W4282044797","doi":"https://doi.org/10.1145/3519939.3523710","title":"A typed continuation-passing translation for lexical effect handlers","display_name":"A typed continuation-passing translation for lexical effect handlers","publication_year":2022,"publication_date":"2022-06-02","ids":{"openalex":"https://openalex.org/W4282044797","doi":"https://doi.org/10.1145/3519939.3523710"},"language":"en","primary_location":{"id":"doi:10.1145/3519939.3523710","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523710","pdf_url":null,"source":null,"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 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3519939.3523710","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029318181","display_name":"Philipp Schuster","orcid":"https://orcid.org/0000-0001-8011-0506"},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Philipp Schuster","raw_affiliation_strings":["University of T\u00fcbingen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of T\u00fcbingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027088540","display_name":"Jonathan Immanuel Brachth\u00e4user","orcid":"https://orcid.org/0000-0001-9128-0391"},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jonathan Immanuel Brachth\u00e4user","raw_affiliation_strings":["University of T\u00fcbingen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of T\u00fcbingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029879693","display_name":"Marius M\u00fcller","orcid":"https://orcid.org/0000-0002-0260-6298"},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marius M\u00fcller","raw_affiliation_strings":["University of T\u00fcbingen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of T\u00fcbingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049077225","display_name":"Klaus Ostermann","orcid":"https://orcid.org/0000-0001-5294-5506"},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Klaus Ostermann","raw_affiliation_strings":["University of T\u00fcbingen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of T\u00fcbingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I8087733"],"apc_list":null,"apc_paid":null,"fwci":1.5182,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.84726865,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"566","last_page":"579"},"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.9994000196456909,"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.9994000196456909,"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/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9961000084877014,"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/computer-science","display_name":"Computer science","score":0.8291839361190796},{"id":"https://openalex.org/keywords/popularity","display_name":"Popularity","score":0.5791507959365845},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5512885451316833},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5155353546142578},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.5095925331115723},{"id":"https://openalex.org/keywords/meaning","display_name":"Meaning (existential)","score":0.5061702132225037},{"id":"https://openalex.org/keywords/continuation","display_name":"Continuation","score":0.49486464262008667},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.487808495759964},{"id":"https://openalex.org/keywords/lexical-item","display_name":"Lexical item","score":0.4752205014228821},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4392237067222595},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3788679242134094},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.35172760486602783}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8291839361190796},{"id":"https://openalex.org/C2780586970","wikidata":"https://www.wikidata.org/wiki/Q1357284","display_name":"Popularity","level":2,"score":0.5791507959365845},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5512885451316833},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5155353546142578},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.5095925331115723},{"id":"https://openalex.org/C2780876879","wikidata":"https://www.wikidata.org/wiki/Q3054749","display_name":"Meaning (existential)","level":2,"score":0.5061702132225037},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.49486464262008667},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.487808495759964},{"id":"https://openalex.org/C126706616","wikidata":"https://www.wikidata.org/wiki/Q2944660","display_name":"Lexical item","level":2,"score":0.4752205014228821},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4392237067222595},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3788679242134094},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.35172760486602783},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3519939.3523710","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523710","pdf_url":null,"source":null,"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 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3519939.3523710","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523710","pdf_url":null,"source":null,"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 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1830421783","https://openalex.org/W1971906578","https://openalex.org/W1980939032","https://openalex.org/W1981962444","https://openalex.org/W2043416466","https://openalex.org/W2086744387","https://openalex.org/W2087875803","https://openalex.org/W2136545577","https://openalex.org/W2137235328","https://openalex.org/W2208976468","https://openalex.org/W2561708922","https://openalex.org/W2762412788","https://openalex.org/W2890147338","https://openalex.org/W2898332157","https://openalex.org/W2911706275","https://openalex.org/W2995698344","https://openalex.org/W3012366501","https://openalex.org/W3014236027","https://openalex.org/W3030705729","https://openalex.org/W3039827481","https://openalex.org/W3047512562","https://openalex.org/W3107145433","https://openalex.org/W3109210160","https://openalex.org/W3113533517","https://openalex.org/W3149432941","https://openalex.org/W3167737351","https://openalex.org/W3170236839","https://openalex.org/W3206622374","https://openalex.org/W4235392789"],"related_works":["https://openalex.org/W1984757784","https://openalex.org/W1587224678","https://openalex.org/W1562070815","https://openalex.org/W1597178555","https://openalex.org/W233473761","https://openalex.org/W1548537923","https://openalex.org/W3021668409","https://openalex.org/W2837526610","https://openalex.org/W4242463321","https://openalex.org/W1839466965"],"abstract_inverted_index":{"Effect":[0],"handlers":[1,24,69,76,94,127,175,195,230],"are":[2,70],"a":[3,30,49,71,78],"language":[4],"feature":[5],"which":[6,147],"enjoys":[7],"popularity":[8],"in":[9,16,29,56],"academia":[10],"and":[11,23,54,93,110,158,164,203],"is":[12,36,52,113,162,170],"also":[13],"gaining":[14],"traction":[15],"industry.":[17],"Programs":[18],"use":[19,90,133,155],"abstract":[20],"effect":[21,34,45,68,75,87,91,103,108,126,149,174,194,229],"operations":[22,92,109,150],"provide":[25],"meaning":[26,96],"to":[27,97,196,223],"them":[28],"delimited":[31,135,160,184],"scope.":[32],"Each":[33],"operation":[35,46],"handled":[37],"by":[38],"the":[39,105,140,179,188,205,225],"dynamically":[40],"closest":[41],"handler.":[42],"Using":[43],"an":[44,57,235],"outside":[47],"of":[48,74,80,124,142,156,182,227],"matching":[50],"handler":[51,112],"meaningless":[53],"results":[55],"error.":[58],"A":[59],"type-and-effect":[60,120],"system":[61],"prevents":[62],"such":[63],"errors":[64],"from":[65],"happening.":[66],"Lexical":[67],"recent":[72],"variant":[73],"with":[77,85,101,151],"number":[79],"attractive":[81],"properties.":[82],"Just":[83],"as":[84,128,130,231,233,234],"traditional":[86,102,206],"handlers,":[88,104],"programs":[89],"give":[95],"them.":[98],"But":[99],"unlike":[100],"connection":[106],"between":[107],"their":[111,131,152],"lexical.":[114],"Consequently,":[115],"they":[116],"typically":[117],"have":[118],"different":[119],"systems.":[121],"The":[122,217],"semantics":[123,226],"lexical":[125,173,193,228],"well":[129,232],"implementations":[132],"multi-prompt":[134,159,183],"control.":[136,185],"They":[137],"rely":[138],"on":[139],"generation":[141],"fresh":[143],"labels":[144,157],"at":[145],"runtime,":[146],"associate":[148],"handlers.":[153],"This":[154],"control":[161],"theoretically":[163],"practically":[165],"unsatisfactory.":[166],"Our":[167],"main":[168],"result":[169],"that":[171],"typed":[172],"do":[176],"not":[177],"need":[178],"full":[180],"power":[181],"We":[186],"present":[187],"first":[189],"CPS":[190,218],"translation":[191,219],"for":[192],"pure":[197],"System":[198],"F.":[199],"It":[200],"preserves":[201],"well-typedness":[202],"simulates":[204],"operational":[207],"semantics.":[208],"Importantly,":[209],"it":[210],"does":[211],"so":[212],"without":[213],"requiring":[214],"runtime":[215],"labels.":[216],"can":[220],"be":[221],"used":[222],"study":[224],"implementation":[236],"technique.":[237]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}