{"id":"https://openalex.org/W3012366501","doi":"https://doi.org/10.1017/s0956796820000040","title":"Effect handlers via generalised continuations","display_name":"Effect handlers via generalised continuations","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3012366501","doi":"https://doi.org/10.1017/s0956796820000040","mag":"3012366501"},"language":"en","primary_location":{"id":"doi:10.1017/s0956796820000040","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796820000040","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DF590482FEE2F6888CD68B4B446E31D5/S0956796820000040a.pdf/div-class-title-effect-handlers-via-generalised-continuations-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DF590482FEE2F6888CD68B4B446E31D5/S0956796820000040a.pdf/div-class-title-effect-handlers-via-generalised-continuations-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044923804","display_name":"Daniel Hillerstr\u00f6m","orcid":"https://orcid.org/0000-0003-4730-9315"},"institutions":[{"id":"https://openalex.org/I181647926","display_name":"University of Strathclyde","ror":"https://ror.org/00n3w3b69","country_code":"GB","type":"education","lineage":["https://openalex.org/I181647926"]},{"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"]},{"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":"DANIEL HILLERSTR\u00d6M","raw_affiliation_strings":["Department of Computing, Imperial College London, UK","Laboratory for Foundations of Computer Science, The University of Edinburgh, UK","Mathematically Structured Programming Group, University of Strathclyde, UK"],"raw_orcid":"https://orcid.org/0000-0003-4730-9315","affiliations":[{"raw_affiliation_string":"Department of Computing, Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Laboratory for Foundations of Computer Science, The University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"Mathematically Structured Programming Group, University of Strathclyde, UK","institution_ids":["https://openalex.org/I181647926"]}]},{"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/I181647926","display_name":"University of Strathclyde","ror":"https://ror.org/00n3w3b69","country_code":"GB","type":"education","lineage":["https://openalex.org/I181647926"]},{"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"]},{"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":["Department of Computing, Imperial College London, UK","Laboratory for Foundations of Computer Science, The University of Edinburgh, UK","Mathematically Structured Programming Group, University of Strathclyde, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Laboratory for Foundations of Computer Science, The University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"Mathematically Structured Programming Group, University of Strathclyde, UK","institution_ids":["https://openalex.org/I181647926"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036444096","display_name":"Robert Atkey","orcid":"https://orcid.org/0000-0002-4414-5047"},"institutions":[{"id":"https://openalex.org/I181647926","display_name":"University of Strathclyde","ror":"https://ror.org/00n3w3b69","country_code":"GB","type":"education","lineage":["https://openalex.org/I181647926"]},{"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"]},{"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":"ROBERT ATKEY","raw_affiliation_strings":["Laboratory for Foundations of Computer Science, The University of Edinburgh, UK","Department of Computing, Imperial College London, UK","Mathematically Structured Programming Group, University of Strathclyde, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory for Foundations of Computer Science, The University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"Department of Computing, Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Mathematically Structured Programming Group, University of Strathclyde, UK","institution_ids":["https://openalex.org/I181647926"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5044923804"],"corresponding_institution_ids":["https://openalex.org/I181647926","https://openalex.org/I47508984","https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":2.7202,"has_fulltext":true,"cited_by_count":29,"citation_normalized_percentile":{"value":0.92028571,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"30","issue":null,"first_page":null,"last_page":null},"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/T10142","display_name":"Formal Methods in Verification","score":0.9972000122070312,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9958000183105469,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8367427587509155},{"id":"https://openalex.org/keywords/continuation","display_name":"Continuation","score":0.6180141568183899},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.5986050367355347},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5639554262161255},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5504521131515503},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5078333020210266},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.49524393677711487},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4621027708053589},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4428788423538208},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.44088977575302124},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4250252842903137},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4240020215511322},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4189162850379944},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35754626989364624}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8367427587509155},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.6180141568183899},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.5986050367355347},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5639554262161255},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5504521131515503},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5078333020210266},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.49524393677711487},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4621027708053589},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4428788423538208},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.44088977575302124},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4250252842903137},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4240020215511322},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4189162850379944},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35754626989364624},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s0956796820000040","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796820000040","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DF590482FEE2F6888CD68B4B446E31D5/S0956796820000040a.pdf/div-class-title-effect-handlers-via-generalised-continuations-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},{"id":"pmh:oai:pure.ed.ac.uk:publications/e45a8a92-c11b-4b2e-b848-4473c3c1e5fc","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/e45a8a92-c11b-4b2e-b848-4473c3c1e5fc","pdf_url":"https://www.pure.ed.ac.uk/ws/files/140406466/handlers.pdf","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":"","raw_type":""},{"id":"pmh:oai:strathprints.strath.ac.uk:71892","is_oa":true,"landing_page_url":"https://strathprints.strath.ac.uk/view/author/706459.html>","pdf_url":"https://strathprints.strath.ac.uk/71892/1/Hillerstrom_etal_JFP_2020_Effect_handlers_via_generalised_continuations.pdf","source":{"id":"https://openalex.org/S4306402226","display_name":"Strathprints: The University of Strathclyde institutional repository (University of Strathclyde)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I181647926","host_organization_name":"University of Strathclyde","host_organization_lineage":["https://openalex.org/I181647926"],"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":"PeerReviewed"}],"best_oa_location":{"id":"doi:10.1017/s0956796820000040","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796820000040","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DF590482FEE2F6888CD68B4B446E31D5/S0956796820000040a.pdf/div-class-title-effect-handlers-via-generalised-continuations-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1798638720","display_name":"From Data Types to Session Types---A Basis for Concurrency and Distribution","funder_award_id":"EP/K034413/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3276400090","display_name":"EPSRC Centre for Doctoral Training in Pervasive Parallelism","funder_award_id":"EP/L01503X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7918631928","display_name":null,"funder_award_id":"EP/K034413/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320273","display_name":"University of Cambridge","ror":"https://ror.org/013meh722"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3012366501.pdf","grobid_xml":"https://content.openalex.org/works/W3012366501.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W847838221","https://openalex.org/W1508489761","https://openalex.org/W1580664042","https://openalex.org/W1608714802","https://openalex.org/W1971752790","https://openalex.org/W1971906578","https://openalex.org/W1981830935","https://openalex.org/W1999336811","https://openalex.org/W2030556617","https://openalex.org/W2033675214","https://openalex.org/W2041438114","https://openalex.org/W2048365843","https://openalex.org/W2073904768","https://openalex.org/W2086744387","https://openalex.org/W2088735483","https://openalex.org/W2099554648","https://openalex.org/W2109375905","https://openalex.org/W2126126443","https://openalex.org/W2129902163","https://openalex.org/W2135235252","https://openalex.org/W2136202785","https://openalex.org/W2136327713","https://openalex.org/W2137235328","https://openalex.org/W2150885362","https://openalex.org/W2184230987","https://openalex.org/W2208976468","https://openalex.org/W2242079500","https://openalex.org/W2293168108","https://openalex.org/W2330301979","https://openalex.org/W2510703714","https://openalex.org/W2537365228","https://openalex.org/W2544085948","https://openalex.org/W2737306518","https://openalex.org/W2744389017","https://openalex.org/W2752261840","https://openalex.org/W2762412788","https://openalex.org/W2774987940","https://openalex.org/W2777452194","https://openalex.org/W2798644064","https://openalex.org/W2896434942","https://openalex.org/W2898332157","https://openalex.org/W2899650865","https://openalex.org/W2912819106","https://openalex.org/W2912949875","https://openalex.org/W2914677266","https://openalex.org/W2955613535","https://openalex.org/W2964321317","https://openalex.org/W2978457387","https://openalex.org/W2980302423","https://openalex.org/W3006963970","https://openalex.org/W3014236027","https://openalex.org/W3015096137","https://openalex.org/W3016921254","https://openalex.org/W3101155261","https://openalex.org/W3103594074","https://openalex.org/W6636266456","https://openalex.org/W6680338483","https://openalex.org/W6682023816","https://openalex.org/W6690934218","https://openalex.org/W6729267382","https://openalex.org/W6744010717","https://openalex.org/W6746595487","https://openalex.org/W6750747864","https://openalex.org/W6755728772","https://openalex.org/W6785972659"],"related_works":["https://openalex.org/W2352275403","https://openalex.org/W2159885618","https://openalex.org/W1994937216","https://openalex.org/W2199313715","https://openalex.org/W2012352190","https://openalex.org/W4248087735","https://openalex.org/W4225310406","https://openalex.org/W4229560034","https://openalex.org/W4210910892","https://openalex.org/W2120447654"],"abstract_inverted_index":{"Abstract":[0],"Plotkin":[1,61],"and":[2,42,54,62,102,110,141,195,219,224,277],"Pretnar\u2019s":[3],"effect":[4,23,31,164,237],"handlers":[5,32,46,65,78,81,109,133,196],"offer":[6],"a":[7,84,136,142,153,172,181,191,198,215],"versatile":[8],"abstraction":[9],"for":[10,21,25,285],"modular":[11],"programming":[12,289],"with":[13,83,180],"user-defined":[14],"effects.":[15],"This":[16],"paper":[17],"focuses":[18],"on":[19],"foundations":[20],"implementing":[22],"handlers,":[24],"the":[26,38,56,91,98,113,117,130,149,156,206,242,261,267,274,278,286],"three":[27],"different":[28,234],"kinds":[29,131,235],"of":[30,107,119,128,132,155,158,163,174,193,201,228,236],"that":[33,87],"have":[34,271],"been":[35],"proposed":[36,59],"in":[37,105,230,246],"literature:":[39],"deep,":[40],"shallow,":[41],"parameterised.":[43],"Traditional":[44],"deep":[45,80,108],"are":[47,55,66,79],"defined":[48,67],"by":[49,60,68,210],"folds":[50,92],"over":[51,74,93],"computation":[52,75,94],"trees":[53],"original":[57],"construct":[58],"Pretnar.":[63],"Shallow":[64],"case":[69],"splits":[70],"(rather":[71],"than":[72],"folds)":[73],"trees.":[76,95],"Parameterised":[77],"extended":[82],"state":[85],"value":[86],"is":[88,152],"threaded":[89],"through":[90,171],"We":[96,122,166,178,203,270],"formulate":[97],"extensions":[99],"both":[100,147,273],"directly":[101],"via":[103],"encodings":[104],"terms":[106],"illustrate":[111],"how":[112],"direct":[114],"implementations":[115,127],"avoid":[116],"generation":[118],"unnecessary":[120],"closures.":[121],"give":[123],"two":[124],"distinct":[125],"foundational":[126],"all":[129],"we":[134,240],"consider:":[135],"continuation-passing":[137],"style":[138],"(CPS)":[139],"transformation":[140,280],"CEK-style":[143],"abstract":[144,256,275],"machine.":[145],"In":[146],"cases,":[148],"key":[150],"ingredient":[151],"generalisation":[154],"notion":[157],"continuation":[159,264],"to":[160,213,232,248],"accommodate":[161],"stacks":[162],"handlers.":[165,238],"obtain":[167],"our":[168],"CPS":[169,183,208,268,279],"translation":[170,184,209,218,243,253],"series":[173],"refinements":[175],"as":[176,197,266,283],"follows.":[177],"begin":[179],"first-order":[182],"into":[185],"untyped":[186],"lambda":[187],"calculus":[188],"which":[189],"manages":[190],"stack":[192],"continuations":[194,229],"curried":[199],"sequence":[200],"arguments.":[202],"then":[204,220,259],"refine":[205],"initial":[207],"uncurrying":[211],"it":[212],"yield":[214],"properly":[216],"tail-recursive":[217],"moving":[221],"towards":[222],"more":[223,225],"intensional":[226],"representations":[227],"order":[231,245,247],"support":[233],"Finally,":[239],"make":[241],"higher":[244],"contract":[249],"administrative":[250],"redexes":[251],"at":[252],"time.":[254],"Our":[255],"machine":[257,276],"design":[258],"uses":[260],"same":[262],"generalised":[263],"representation":[265],"translation.":[269],"implemented":[272],"(plus":[281],"extensions)":[282],"backends":[284],"Links":[287],"web":[288],"language.":[290]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}