{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T02:41:26Z","timestamp":1767926486941,"version":"3.49.0"},"reference-count":57,"publisher":"Association for Computing Machinery (ACM)","issue":"ICFP","license":[{"start":{"date-parts":[[2020,8,2]],"date-time":"2020-08-02T00:00:00Z","timestamp":1596326400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["282458149"],"award-info":[{"award-number":["282458149"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2020,8,2]]},"abstract":"<jats:p>Effect handlers encourage programmers to abstract over repeated patterns of complex control flow. As of today, this abstraction comes at a significant price in performance. In this paper, we aim to achieve abstraction without regret for effect handlers.<\/jats:p>\n          <jats:p>\n            We present a language for effect handlers in _capability-passing style_ (\u03bb\n            <jats:sub>\n              <jats:italic>Cap<\/jats:italic>\n            <\/jats:sub>\n            ) and an implementation of this language as a translation to simply-typed lambda calculus in _iterated continuation-passing style_. A suite of benchmarks indicates that the novel combination of capability-passing style and iterated CPS enables significant speedups over existing languages with effect handlers or control operators. Our implementation technique is general and allows us to generate code in any language that supports first-class functions.\n          <\/jats:p>\n          <jats:p>\n            We then identify a subset of programs for which we can further improve the performance and guarantee full elimination of the effect handler abstraction. To formally capture this subset, we refine \u03bb\n            <jats:sub>\n              <jats:italic>Cap<\/jats:italic>\n            <\/jats:sub>\n            to \u03bb \u03bb\n            <jats:sub>\n              <jats:italic>Cap<\/jats:italic>\n            <\/jats:sub>\n            with a more restrictive type system. We present a type-directed translation for \u03bb \u03bb\n            <jats:sub>\n              <jats:italic>Cap<\/jats:italic>\n            <\/jats:sub>\n            that inserts staging annotations and prove that no abstractions or applications related to effect handlers occur in the translated program. Using this second translation we observe additional speedups in some of the benchmarks.\n          <\/jats:p>","DOI":"10.1145\/3408975","type":"journal-article","created":{"date-parts":[[2020,8,3]],"date-time":"2020-08-03T13:48:02Z","timestamp":1596462482000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Compiling effect handlers in capability-passing style"],"prefix":"10.1145","volume":"4","author":[{"given":"Philipp","family":"Schuster","sequence":"first","affiliation":[{"name":"University of T\u00fcbingen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9128-0391","authenticated-orcid":false,"given":"Jonathan Immanuel","family":"Brachth\u00e4user","sequence":"additional","affiliation":[{"name":"University of T\u00fcbingen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Ostermann","sequence":"additional","affiliation":[{"name":"University of T\u00fcbingen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,8,3]]},"reference":[{"key":"e_1_2_2_1_1","volume-title":"The D Programming Language","author":"Alexandrescu Andrei","unstructured":"Andrei Alexandrescu . 2010. The D Programming Language ( 1 st ed.). Addison-Wesley Professional . Andrei Alexandrescu. 2010. The D Programming Language (1st ed.). Addison-Wesley Professional.","edition":"1"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889229"},{"key":"e_1_2_2_3_1","volume-title":"Handbook of Logic in Computer Science (vol. 2 ): Background: Computational Structures","author":"Barendregt Henk P.","unstructured":"Henk P. Barendregt . 1992. Lambda Calculi with Types . In Handbook of Logic in Computer Science (vol. 2 ): Background: Computational Structures . Oxford University Press , New York, NY, USA , 117-309. Henk P. Barendregt. 1992. Lambda Calculi with Types. In Handbook of Logic in Computer Science (vol. 2 ): Background: Computational Structures. Oxford University Press, New York, NY, USA, 117-309."},{"key":"e_1_2_2_4_1","volume-title":"Proc. ACM Program. Lang. 3, POPL, Article 6 (","author":"Biernacki Dariusz","year":"2019","unstructured":"Dariusz Biernacki , Maciej Pir\u00f3g , Piotr Polesiuk , and Filip Sieczkowski . 2019 . Abstracting Algebraic Efects . Proc. ACM Program. Lang. 3, POPL, Article 6 ( Jan. 2019 ), 28 pages. Dariusz Biernacki, Maciej Pir\u00f3g, Piotr Polesiuk, and Filip Sieczkowski. 2019. Abstracting Algebraic Efects. Proc. ACM Program. Lang. 3, POPL, Article 6 ( Jan. 2019 ), 28 pages."},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371116"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136000.3136007"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276481"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796820000027"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681300018X"},{"key":"e_1_2_2_10_1","volume-title":"Proc. ACM Program. Lang. 2, ICFP, Article 67 (","author":"Bra\u010devac Oliver","year":"2018","unstructured":"Oliver Bra\u010devac , Nada Amin , Guido Salvaneschi , Sebastian Erdweg , Patrick Eugster , and Mira Mezini . 2018 . Versatile Event Correlation with Algebraic Efects . Proc. ACM Program. Lang. 2, ICFP, Article 67 ( July 2018 ), 31 pages. Oliver Bra\u010devac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini. 2018. Versatile Event Correlation with Algebraic Efects. Proc. ACM Program. Lang. 2, ICFP, Article 67 ( July 2018 ), 31 pages."},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341643"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796820000039"},{"key":"e_1_2_2_13_1","unstructured":"Olivier Danvy and Andrzej Filinski. 1989. A functional abstraction of typed contexts. DIKU Rapport 89 \/12 DIKU University of Copenhagen ( 1989 ).  Olivier Danvy and Andrzej Filinski. 1989. A functional abstraction of typed contexts. DIKU Rapport 89 \/12 DIKU University of Copenhagen ( 1989 )."},{"key":"e_1_2_2_14_1","first-page":"151","volume-title":"Abstracting Control. In Proceedings of the Conference on LISP and Functional Programming","author":"Danvy Olivier","year":"1990","unstructured":"Olivier Danvy and Andrzej Filinski . 1990 . Abstracting Control. In Proceedings of the Conference on LISP and Functional Programming ( Nice, France). ACM, New York, NY, USA , 151 - 160 . Olivier Danvy and Andrzej Filinski. 1990. Abstracting Control. In Proceedings of the Conference on LISP and Functional Programming (Nice, France). ACM, New York, NY, USA, 151-160."},{"key":"e_1_2_2_15_1","doi-asserted-by":"crossref","unstructured":"Oliver Danvy and Andrzej Filinski. 1992. Representing control: A study of the CPS transformation. Mathematical Structures in Computer Science 2 4 ( 1992 ) 361-391.  Oliver Danvy and Andrzej Filinski. 1992. Representing control: A study of the CPS transformation. Mathematical Structures in Computer Science 2 4 ( 1992 ) 361-391.","DOI":"10.1017\/S0960129500001535"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/236114.236119"},{"key":"e_1_2_2_17_1","volume-title":"Proceedings of the Symposium on Trends in Functional Programming. Springer LNCS 10788","author":"Dolan Stephen","year":"2017","unstructured":"Stephen Dolan , Spiros Eliopoulos , Daniel Hillerstr\u00f6m , Anil Madhavapeddy , KC Sivaramakrishnan , and Leo White . 2017 . Concurrent system programming with efect handlers . In Proceedings of the Symposium on Trends in Functional Programming. Springer LNCS 10788 . Stephen Dolan, Spiros Eliopoulos, Daniel Hillerstr\u00f6m, Anil Madhavapeddy, KC Sivaramakrishnan, and Leo White. 2017. Concurrent system programming with efect handlers. In Proceedings of the Symposium on Trends in Functional Programming. Springer LNCS 10788."},{"key":"e_1_2_2_18_1","volume-title":"Multicore OCaml. In OCaml Workshop.","author":"Dolan Stephen","year":"2014","unstructured":"Stephen Dolan , Leo White , and Anil Madhavapeddy . 2014 . Multicore OCaml. In OCaml Workshop. Stephen Dolan, Leo White, and Anil Madhavapeddy. 2014. Multicore OCaml. In OCaml Workshop."},{"key":"e_1_2_2_19_1","volume-title":"OCaml Workshop.","author":"Dolan Stephen","year":"2015","unstructured":"Stephen Dolan , Leo White , KC Sivaramakrishnan , Jeremy Yallop , and Anil Madhavapeddy . 2015 . Efective concurrency through algebraic efects . In OCaml Workshop. Stephen Dolan, Leo White, KC Sivaramakrishnan, Jeremy Yallop, and Anil Madhavapeddy. 2015. Efective concurrency through algebraic efects. In OCaml Workshop."},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159805"},{"key":"e_1_2_2_21_1","article-title":"A monadic framework for delimited continuations","volume":"17","author":"Dybvig R. Kent","year":"2007","unstructured":"R. Kent Dybvig , Simon L. Peyton Jones , and Amr Sabry . 2007 . A monadic framework for delimited continuations . Journal of Functional Programming 17 , 6 ( 2007 ), 687-730. R. Kent Dybvig, Simon L. Peyton Jones, and Amr Sabry. 2007. A monadic framework for delimited continuations. Journal of Functional Programming 17, 6 ( 2007 ), 687-730.","journal-title":"Journal of Functional Programming"},{"key":"e_1_2_2_22_1","volume-title":"Delimited Control. Proc. ACM Program. Lang. 1, ICFP, Article 13 (","author":"Forster Yannick","year":"2017","unstructured":"Yannick Forster , Ohad Kammar , Sam Lindley , and Matija Pretnar . 2017 . On the Expressive Power of User-defined Efects: Efect Handlers, Monadic Reflection , Delimited Control. Proc. ACM Program. Lang. 1, ICFP, Article 13 ( Aug. 2017 ), 29 pages. Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar. 2017. On the Expressive Power of User-defined Efects: Efect Handlers, Monadic Reflection, Delimited Control. Proc. ACM Program. Lang. 1, ICFP, Article 13 ( Aug. 2017 ), 29 pages."},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976022.2976033"},{"key":"e_1_2_2_24_1","volume-title":"Formal Structures for Computation and Deduction (LIPIcs)","volume":"84","author":"Hillerstr\u00f6m Daniel","year":"2017","unstructured":"Daniel Hillerstr\u00f6m , Sam Lindley , Bob Atkey , and KC Sivaramakrishnan . 2017 . Continuation Passing Style for Efect Handlers . In Formal Structures for Computation and Deduction (LIPIcs) , Vol. 84 . Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik. Daniel Hillerstr\u00f6m, Sam Lindley, Bob Atkey, and KC Sivaramakrishnan. 2017. Continuation Passing Style for Efect Handlers. In Formal Structures for Computation and Deduction (LIPIcs), Vol. 84. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik."},{"key":"e_1_2_2_25_1","volume-title":"Partial Evaluation and Automatic Program Generation","author":"Jones Neil D.","unstructured":"Neil D. Jones , Carsten K. Gomard , and Peter Sestoft . 1993. Partial Evaluation and Automatic Program Generation . Prentice-Hall, Inc. , Upper Saddle River, New Jersey, USA. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. 1993. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Inc., Upper Saddle River, New Jersey, USA."},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500590"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796816000320"},{"key":"e_1_2_2_28_1","first-page":"177","volume-title":"Continued. In Proceedings of the International Conference on Functional Programming","author":"Kennedy Andrew","year":"2007","unstructured":"Andrew Kennedy . 2007 . Compiling with Continuations , Continued. In Proceedings of the International Conference on Functional Programming ( Freiburg, Germany). ACM, New York, NY, USA , 177 - 190 . Andrew Kennedy. 2007. Compiling with Continuations, Continued. In Proceedings of the International Conference on Functional Programming (Freiburg, Germany). ACM, New York, NY, USA, 177-190."},{"key":"e_1_2_2_29_1","first-page":"94","volume-title":"Proceedings of the Haskell Symposium","author":"Kiselyov Oleg","year":"2015","unstructured":"Oleg Kiselyov and Hiromi Ishii . 2015 . Freer Monads, More Extensible Efects . In Proceedings of the Haskell Symposium ( Vancouver, BC, Canada). ACM, New York, NY, USA , 94 - 105 . Oleg Kiselyov and Hiromi Ishii. 2015. Freer Monads, More Extensible Efects. In Proceedings of the Haskell Symposium (Vancouver, BC, Canada). ACM, New York, NY, USA, 94-105."},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.285.2"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-71237-6_17"},{"key":"e_1_2_2_32_1","first-page":"16","volume-title":"Proceedings of the Workshop on Type-Driven Development","author":"Leijen Daan","year":"2017","unstructured":"Daan Leijen . 2017 b. Structured Asynchrony with Algebraic Efects . In Proceedings of the Workshop on Type-Driven Development ( Oxford, UK). ACM, New York, NY, USA , 16 - 29 . Daan Leijen. 2017b. Structured Asynchrony with Algebraic Efects. In Proceedings of the Workshop on Type-Driven Development (Oxford, UK). ACM, New York, NY, USA, 16-29."},{"key":"e_1_2_2_33_1","first-page":"486","volume-title":"Proceedings of the Symposium on Principles of Programming Languages. ACM","author":"Leijen Daan","year":"2017","unstructured":"Daan Leijen . 2017 c. Type directed compilation of row-typed algebraic efects . In Proceedings of the Symposium on Principles of Programming Languages. ACM , New York, NY, USA , 486 - 499 . Daan Leijen. 2017c. Type directed compilation of row-typed algebraic efects. In Proceedings of the Symposium on Principles of Programming Languages. ACM, New York, NY, USA, 486-499."},{"key":"e_1_2_2_34_1","first-page":"51","volume-title":"Proceedings of the Workshop on Type-Driven Development (St","author":"Leijen Daan","year":"2018","unstructured":"Daan Leijen . 2018 . First Class Dynamic Efect Handlers: Or, Polymorphic Heaps with Dynamic Efect Handlers . In Proceedings of the Workshop on Type-Driven Development (St . Louis, Missouri, USA). ACM, New York, NY, USA , 51 - 64 . Daan Leijen. 2018. First Class Dynamic Efect Handlers: Or, Polymorphic Heaps with Dynamic Efect Handlers. In Proceedings of the Workshop on Type-Driven Development (St. Louis, Missouri, USA). ACM, New York, NY, USA, 51-64."},{"key":"e_1_2_2_35_1","unstructured":"Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier R\u00e9my and J\u00e9r\u00f4me Vouillon. 2017. The OCaml system release 4.06. Institut National de Recherche en Informatique et en Automatique ( 2017 ).  Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier R\u00e9my and J\u00e9r\u00f4me Vouillon. 2017. The OCaml system release 4.06. Institut National de Recherche en Informatique et en Automatique ( 2017 )."},{"key":"e_1_2_2_36_1","volume-title":"John Power, and Hayo Thielecke","author":"Levy Paul Blain","year":"2003","unstructured":"Paul Blain Levy , John Power, and Hayo Thielecke . 2003 . Modelling environments in call-by-value programming languages. Information and Computation 185, 2 ( 2003 ), 182-210. Paul Blain Levy, John Power, and Hayo Thielecke. 2003. Modelling environments in call-by-value programming languages. Information and Computation 185, 2 ( 2003 ), 182-210."},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009897"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35182-2_21"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062380"},{"key":"e_1_2_2_41_1","volume-title":"Partial evaluation","author":"Nielson Flemming","unstructured":"Flemming Nielson and Hanne Riis Nielson . 1996. Multi-level lambda-calculi: an algebraic description . In Partial evaluation . Springer , 338-354. Flemming Nielson and Hanne Riis Nielson. 1996. Multi-level lambda-calculi: an algebraic description. In Partial evaluation. Springer, 338-354."},{"key":"e_1_2_2_42_1","first-page":"234","volume-title":"Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM","author":"Osvald Leo","year":"2016","unstructured":"Leo Osvald , Gr\u00e9gory Essertel , Xilun Wu , Lilliam I Gonz\u00e1lez Alay\u00f3n , and Tiark Rompf . 2016 . Gentrification gone too far? afordable 2nd-class values for fun and (co-) efect . In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM , New York, NY, USA , 234 - 251 . Leo Osvald, Gr\u00e9gory Essertel, Xilun Wu, Lilliam I Gonz\u00e1lez Alay\u00f3n, and Tiark Rompf. 2016. Gentrification gone too far? afordable 2nd-class values for fun and (co-) efect. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM, New York, NY, USA, 234-251."},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54010"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209166"},{"key":"e_1_2_2_45_1","volume-title":"European Symposium on Programming. SpringerVerlag, 80-94","author":"Plotkin Gordon","year":"2009","unstructured":"Gordon Plotkin and Matija Pretnar . 2009 . Handlers of algebraic efects . In European Symposium on Programming. SpringerVerlag, 80-94 . Gordon Plotkin and Matija Pretnar. 2009. Handlers of algebraic efects. In European Symposium on Programming. SpringerVerlag, 80-94."},{"key":"e_1_2_2_46_1","volume-title":"Plotkin and Matija Pretnar","author":"Gordon","year":"2013","unstructured":"Gordon D. Plotkin and Matija Pretnar . 2013 . Handling Algebraic Efects. Logical Methods in Computer Science 9, 4 ( 2013 ). Gordon D. Plotkin and Matija Pretnar. 2013. Handling Algebraic Efects. Logical Methods in Computer Science 9, 4 ( 2013 )."},{"key":"e_1_2_2_47_1","doi-asserted-by":"crossref","unstructured":"Matija Pretnar. 2015. An introduction to algebraic efects and handlers. invited tutorial paper. Electronic Notes in Theoretical Computer Science 319 ( 2015 ) 19-35.  Matija Pretnar. 2015. An introduction to algebraic efects and handlers. invited tutorial paper. Electronic Notes in Theoretical Computer Science 319 ( 2015 ) 19-35.","DOI":"10.1016\/j.entcs.2015.12.003"},{"key":"e_1_2_2_48_1","volume-title":"Axel Faes, and Tom Schrijvers.","author":"Pretnar Matija","year":"2017","unstructured":"Matija Pretnar , Amr Hany Shehata Saleh , Axel Faes, and Tom Schrijvers. 2017 . Eficient compilation of algebraic efects and handlers. Technical Report. Department of Computer Science , KU Leuven; Leuven, Belgium. Matija Pretnar, Amr Hany Shehata Saleh, Axel Faes, and Tom Schrijvers. 2017. Eficient compilation of algebraic efects and handlers. Technical Report. Department of Computer Science, KU Leuven; Leuven, Belgium."},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"e_1_2_2_50_1","volume-title":"Explicit Efect Subtyping","author":"Saleh Amr Hany","unstructured":"Amr Hany Saleh , Georgios Karachalias , Matija Pretnar , and Tom Schrijvers . 2018. Explicit Efect Subtyping . In Programming Languages and Systems, Amal Ahmed (Ed.). Springer International Publishing, Cham , Switzerland , 327-354. Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, and Tom Schrijvers. 2018. Explicit Efect Subtyping. In Programming Languages and Systems, Amal Ahmed (Ed.). Springer International Publishing, Cham, Switzerland, 327-354."},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3240719.3241788"},{"key":"e_1_2_2_52_1","volume-title":"The C+ + Programming Language","author":"Stroustrup Bjarne","unstructured":"Bjarne Stroustrup . 1997. The C+ + Programming Language , Third Edition (3 rd ed.). Addison-Wesley Longman Publishing Co., Inc. , USA. Bjarne Stroustrup. 1997. The C+ + Programming Language, Third Edition (3rd ed.). Addison-Wesley Longman Publishing Co., Inc., USA.","edition":"3"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/258993.259019"},{"key":"e_1_2_2_54_1"},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"},{"key":"e_1_2_2_56_1","volume-title":"Proceedings of the Conference on Mathematics of Program Construction","author":"Wu Nicolas","year":"2015","unstructured":"Nicolas Wu and Tom Schrijvers . 2015 . Fusion for Free-Eficient Algebraic Efect Handlers . In Proceedings of the Conference on Mathematics of Program Construction ( K\u00f6nigswinter, Germany). Springer LNCS 9129. Nicolas Wu and Tom Schrijvers. 2015. Fusion for Free-Eficient Algebraic Efect Handlers. In Proceedings of the Conference on Mathematics of Program Construction (K\u00f6nigswinter, Germany). Springer LNCS 9129."},{"key":"e_1_2_2_57_1","volume-title":"Proc. ACM Program. Lang. 3, POPL, Article 5 (","author":"Zhang Yizhou","year":"2019","unstructured":"Yizhou Zhang and Andrew C. Myers . 2019. Abstraction-safe Efect Handlers via Tunneling . Proc. ACM Program. Lang. 3, POPL, Article 5 ( Jan. 2019 ), 29 pages. Yizhou Zhang and Andrew C. Myers. 2019. Abstraction-safe Efect Handlers via Tunneling. Proc. ACM Program. Lang. 3, POPL, Article 5 ( Jan. 2019 ), 29 pages."}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3408975","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3408975","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:58Z","timestamp":1750193278000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3408975"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,2]]},"references-count":57,"journal-issue":{"issue":"ICFP","published-print":{"date-parts":[[2020,8,2]]}},"alternative-id":["10.1145\/3408975"],"URL":"https:\/\/doi.org\/10.1145\/3408975","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,8,2]]},"assertion":[{"value":"2020-08-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}