{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:11:42Z","timestamp":1775790702582,"version":"3.50.1"},"reference-count":54,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA","license":[{"start":{"date-parts":[[2020,11,13]],"date-time":"2020-11-13T00:00:00Z","timestamp":1605225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nd\/4.0\/"}],"funder":[{"name":"DFG","award":["282458149"],"award-info":[{"award-number":["282458149"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2020,11,13]]},"abstract":"<jats:p>Effect handlers have recently gained popularity amongst programming language researchers. Existing type- and effect systems for effect handlers are often complicated and potentially hinder a wide-spread adoption.<\/jats:p>\n          <jats:p>\n            We present the language Effekt with the goal to close the gap between research languages with effect handlers and languages for working programmers. The design of Effekt revolves around a different view of effects and effect types. Traditionally, effect types express which\n            <jats:italic>side effects<\/jats:italic>\n            a computation might have. In Effekt, effect types express which\n            <jats:italic>capabilities<\/jats:italic>\n            a computation requires from its context. While this new point in the design space of effect systems impedes reasoning about purity, we demonstrate that it simplifies the treatment of effect polymorphism and the related issues of effect parametricity and effect encapsulation. To guarantee effect safety, we separate functions from values and treat\n            <jats:italic>all<\/jats:italic>\n            functions as second-class. We define the semantics of Effekt as a translation to System Xi, a calculus in explicit capability-passing style.\n          <\/jats:p>","DOI":"10.1145\/3428194","type":"journal-article","created":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T23:40:14Z","timestamp":1606261214000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":53,"title":["Effects as capabilities: effect handlers and lightweight effect polymorphism"],"prefix":"10.1145","volume":"4","author":[{"given":"Jonathan Immanuel","family":"Brachth\u00e4user","sequence":"first","affiliation":[{"name":"EPFL, Switzerland"}]},{"given":"Philipp","family":"Schuster","sequence":"additional","affiliation":[{"name":"University of T\u00fcbingen, Germany"}]},{"given":"Klaus","family":"Ostermann","sequence":"additional","affiliation":[{"name":"University of T\u00fcbingen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2020,11,13]]},"reference":[{"key":"e_1_2_2_1_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_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40206-7_1"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.02.001"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-011-9219-0"},{"key":"e_1_2_2_5_1","volume-title":"Proc. ACM Program. Lang. 2, POPL, Article 8 (","author":"Biernacki Dariusz","year":"2017","unstructured":"Dariusz Biernacki , Maciej Pir\u00f3g , Piotr Polesiuk , and Filip Sieczkowski . 2017 . Handle with Care: Relational Interpretation of Algebraic Efects and Handlers . Proc. ACM Program. Lang. 2, POPL, Article 8 ( Dec. 2017 ), 30 pages. Dariusz Biernacki, Maciej Pir\u00f3g, Piotr Polesiuk, and Filip Sieczkowski. 2017. Handle with Care: Relational Interpretation of Algebraic Efects and Handlers. Proc. ACM Program. Lang. 2, POPL, Article 8 ( Dec. 2017 ), 30 pages."},{"key":"e_1_2_2_6_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_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371116"},{"key":"e_1_2_2_8_1","first-page":"1","article-title":"Pyro: Deep Universal Probabilistic Programming","volume":"20","author":"Bingham Eli","year":"2019","unstructured":"Eli Bingham , Jonathan P. Chen , Martin Jankowiak , Fritz Obermeyer , Neeraj Pradhan , Theofanis Karaletsos , Rohit Singh , Paul Szerlip , Paul Horsfall , and Noah D. Goodman . 2019 . Pyro: Deep Universal Probabilistic Programming . J. Mach. Learn. Res. 20 , 1 (Jan. 2019 ), 973-978. Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul Szerlip, Paul Horsfall, and Noah D. Goodman. 2019. Pyro: Deep Universal Probabilistic Programming. J. Mach. Learn. Res. 20, 1 (Jan. 2019 ), 973-978.","journal-title":"J. Mach. Learn. Res."},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136000.3136007"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276481"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796820000027"},{"key":"e_1_2_2_12_1","volume-title":"Efekt: Lightweight Efect Polymorphism for Handlers. Extended Technical Report","author":"Brachth\u00e4user Jonathan Immanuel","year":"2020","unstructured":"Jonathan Immanuel Brachth\u00e4user , Philipp Schuster , and Klaus Ostermann . 2020 b. Efekt: Lightweight Efect Polymorphism for Handlers. Extended Technical Report . University of T\u00fcbingen , Germany. http:\/\/ps.informatik.uni-tuebingen.de\/ publications\/brachthaeuser20efekt.pdf. Jonathan Immanuel Brachth\u00e4user, Philipp Schuster, and Klaus Ostermann. 2020b. Efekt: Lightweight Efect Polymorphism for Handlers. Extended Technical Report. University of T\u00fcbingen, Germany. http:\/\/ps.informatik.uni-tuebingen.de\/ publications\/brachthaeuser20efekt.pdf."},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681300018X"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796820000039"},{"key":"e_1_2_2_16_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_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","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_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242744.3242753"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73576"},{"key":"e_1_2_2_23_1","first-page":"12","volume-title":"Proceedings of the Conference on Functional Programming Languages and Computer Architecture","author":"Gunter Carl A.","unstructured":"Carl A. Gunter , Didier R\u00e9my , and Jon G. Riecke . 1995. A Generalization of Exceptions and Control in ML-like Languages . In Proceedings of the Conference on Functional Programming Languages and Computer Architecture ( La Jolla, California, USA). ACM, New York, NY, USA , 12 - 23 . Carl A. Gunter, Didier R\u00e9my, and Jon G. Riecke. 1995. A Generalization of Exceptions and Control in ML-like Languages. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture (La Jolla, California, USA). ACM, New York, NY, USA, 12-23."},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976022.2976033"},{"key":"e_1_2_2_25_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_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500590"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159808"},{"key":"e_1_2_2_28_1","volume-title":"Proceedings of the Symposium on Trends in Functional Programming. 297-312","author":"Leijen Daan","year":"2005","unstructured":"Daan Leijen . 2005 . Extensible records with scoped labels . In Proceedings of the Symposium on Trends in Functional Programming. 297-312 . Daan Leijen. 2005. Extensible records with scoped labels. In Proceedings of the Symposium on Trends in Functional Programming. 297-312."},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.153.8"},{"key":"e_1_2_2_31_1","first-page":"16","volume-title":"Proceedings of the Workshop on Type-Driven Development","author":"Leijen Daan","year":"2017","unstructured":"Daan Leijen . 2017 a. 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. 2017a. 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_32_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 b. 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. 2017b. 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 b. 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. 2018b. 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","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_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009897"},{"key":"e_1_2_2_37_1","first-page":"257","volume-title":"International Conference on Formal Grammar. Springer LNCS 9804","author":"Mar\u0161\u00edk Jirka","year":"2016","unstructured":"Jirka Mar\u0161\u00edk and Maxime Amblard . 2016 . Introducing a Calculus of Efects and Handlers for Natural Language Semantics . In International Conference on Formal Grammar. Springer LNCS 9804 , 257 - 272 . Jirka Mar\u0161\u00edk and Maxime Amblard. 2016. Introducing a Calculus of Efects and Handlers for Natural Language Semantics. In International Conference on Formal Grammar. Springer LNCS 9804, 257-272."},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236774"},{"key":"e_1_2_2_39_1","volume-title":"International Conference on Probabilistic Programming (PROBPROG).","author":"Moore Dave","year":"2018","unstructured":"Dave Moore and Maria Ivanova Gorinova . 2018 . Efect Handling for Composable Program Transformations in Edward2 . In International Conference on Probabilistic Programming (PROBPROG). Dave Moore and Maria Ivanova Gorinova. 2018. Efect Handling for Composable Program Transformations in Edward2. In International Conference on Probabilistic Programming (PROBPROG)."},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/357114.357115"},{"key":"e_1_2_2_41_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_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628160"},{"key":"e_1_2_2_43_1","volume-title":"Composable efects for flexible and accelerated probabilistic programming in NumPyro. arXiv preprint arXiv","author":"Phan Du","year":"1912","unstructured":"Du Phan , Neeraj Pradhan , and Martin Jankowiak . 2019. Composable efects for flexible and accelerated probabilistic programming in NumPyro. arXiv preprint arXiv : 1912 . 11554 ( 2019 ). Du Phan, Neeraj Pradhan, and Martin Jankowiak. 2019. Composable efects for flexible and accelerated probabilistic programming in NumPyro. arXiv preprint arXiv: 1912. 11554 ( 2019 )."},{"key":"e_1_2_2_44_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_45_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_46_1","first-page":"258","volume-title":"Proceedings of the European Conference on Object-Oriented Programming, James Noble (Ed.). Springer Berlin Heidelberg","author":"Rytz Lukas","year":"2012","unstructured":"Lukas Rytz , Martin Odersky , and Philipp Haller . 2012 . Lightweight Polymorphic Efects . In Proceedings of the European Conference on Object-Oriented Programming, James Noble (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 258 - 282 . Lukas Rytz, Martin Odersky, and Philipp Haller. 2012. Lightweight Polymorphic Efects. In Proceedings of the European Conference on Object-Oriented Programming, James Noble (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 258-282."},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3240719.3241788"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408975"},{"key":"e_1_2_2_49_1","first-page":"147","volume-title":"Handling Control. In Proceedings of the Conference on Programming Language Design and Implementation","author":"Sitaram Dorai","year":"1993","unstructured":"Dorai Sitaram . 1993 . Handling Control. In Proceedings of the Conference on Programming Language Design and Implementation ( Albuquerque, New Mexico, USA). ACM, New York, NY, USA , 147 - 155 . Dorai Sitaram. 1993. Handling Control. In Proceedings of the Conference on Programming Language Design and Implementation (Albuquerque, New Mexico, USA). ACM, New York, NY, USA, 147-155."},{"key":"e_1_2_2_50_1","article-title":"Linear, bounded, functional pretty-printing","volume":"19","author":"Doaitse Swierstra S","year":"2009","unstructured":"S Doaitse Swierstra and Olaf Chitil . 2009 . Linear, bounded, functional pretty-printing . Journal of Functional Programming 19 , 01 ( 2009 ), 1-16. S Doaitse Swierstra and Olaf Chitil. 2009. Linear, bounded, functional pretty-printing. Journal of Functional Programming 19, 01 ( 2009 ), 1-16.","journal-title":"Journal of Functional Programming"},{"key":"e_1_2_2_51_1","volume-title":"Proc. ACM Program. Lang. 3, ICFP, Article 96 (","author":"Wang Fei","year":"2019","unstructured":"Fei Wang , Daniel Zheng , James Decker , Xilun Wu , Gr\u00e9gory M. Essertel , and Tiark Rompf . 2019 . Demystifying Diferentiable Programming: Shift\/Reset the Penultimate Backpropagator . Proc. ACM Program. Lang. 3, ICFP, Article 96 ( July 2019 ), 31 pages. Fei Wang, Daniel Zheng, James Decker, Xilun Wu, Gr\u00e9gory M. Essertel, and Tiark Rompf. 2019. Demystifying Diferentiable Programming: Shift\/Reset the Penultimate Backpropagator. Proc. ACM Program. Lang. 3, ICFP, Article 96 ( July 2019 ), 31 pages."},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"},{"key":"e_1_2_2_53_1","first-page":"1","volume-title":"Proceedings of the Haskell Symposium","author":"Wu Nicolas","year":"2014","unstructured":"Nicolas Wu , Tom Schrijvers , and Ralf Hinze . 2014 . Efect Handlers in Scope . In Proceedings of the Haskell Symposium ( Gothenburg, Sweden) (Haskell '14). ACM, New York, NY, USA , 1 - 12 . Nicolas Wu, Tom Schrijvers, and Ralf Hinze. 2014. Efect Handlers in Scope. In Proceedings of the Haskell Symposium (Gothenburg, Sweden) (Haskell '14). ACM, New York, NY, USA, 1-12."},{"key":"e_1_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408981"},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110273"},{"key":"e_1_2_2_56_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."},{"key":"e_1_2_2_57_1","first-page":"281","volume-title":"Proceedings of the Conference on Programming Language Design and Implementation","author":"Zhang Yizhou","unstructured":"Yizhou Zhang , Guido Salvaneschi , Quinn Beightol , Barbara Liskov , and Andrew C. Myers . 2016. Accepting Blame for Safe Tunneled Exceptions . In Proceedings of the Conference on Programming Language Design and Implementation ( Santa Barbara, CA, USA). ACM, New York, NY, USA , 281 - 295 . Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, and Andrew C. Myers. 2016. Accepting Blame for Safe Tunneled Exceptions. In Proceedings of the Conference on Programming Language Design and Implementation (Santa Barbara, CA, USA). ACM, New York, NY, USA, 281-295."}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3428194","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3428194","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:56Z","timestamp":1750197776000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3428194"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,13]]},"references-count":54,"journal-issue":{"issue":"OOPSLA","published-print":{"date-parts":[[2020,11,13]]}},"alternative-id":["10.1145\/3428194"],"URL":"https:\/\/doi.org\/10.1145\/3428194","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,13]]},"assertion":[{"value":"2020-11-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}