{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:22:10Z","timestamp":1751660530220,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T00:00:00Z","timestamp":1634428800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,17]]},"DOI":"10.1145\/3486610.3486893","type":"proceedings-article","created":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T02:02:10Z","timestamp":1634436130000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Safer exceptions for Scala"],"prefix":"10.1145","author":[{"given":"Martin","family":"Odersky","sequence":"first","affiliation":[{"name":"EPFL, Switzerland"}]},{"given":"Aleksander","family":"Boruch-Gruszecki","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9128-0391","authenticated-orcid":false,"given":"Jonathan Immanuel","family":"Brachth\u00e4user","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}]},{"given":"Edward","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Waterloo, Canada"}]},{"given":"Ond\u0159ej","family":"Lhot\u00e1k","sequence":"additional","affiliation":[{"name":"University of Waterloo, Canada"}]}],"member":"320","published-online":{"date-parts":[[2021,10,17]]},"reference":[{"volume-title":"A List of Successes That Can Change the World","author":"Amin Nada","key":"e_1_3_2_2_1_1","unstructured":"Nada Amin , Samuel Gr\u00fctter , Martin Odersky , Tiark Rompf , and Sandro Stucki . 2016. The Essence of Dependent Object Types . In A List of Successes That Can Change the World . Springer , 249\u2013272. Nada Amin, Samuel Gr\u00fctter, Martin Odersky, Tiark Rompf, and Sandro Stucki. 2016. The Essence of Dependent Object Types. In A List of Successes That Can Change the World. Springer, 249\u2013272."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500070109"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90135-5"},{"key":"e_1_3_2_2_4_1","volume-title":"Edward Lee, Ond\u0159ej Lhot\u00e1k, and Martin Odersky.","author":"Boruch-Gruszecki Aleksander","year":"2021","unstructured":"Aleksander Boruch-Gruszecki , Jonathan Immanuel Brachth\u00e4user , Edward Lee, Ond\u0159ej Lhot\u00e1k, and Martin Odersky. 2021 . Tracking Captured Variables in Types . arXiv:2105.11896 [cs], May, arxiv:cs\/2105.11896. Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachth\u00e4user, Edward Lee, Ond\u0159ej Lhot\u00e1k, and Martin Odersky. 2021. Tracking Captured Variables in Types. arXiv:2105.11896 [cs], May, arxiv:cs\/2105.11896."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428194"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007205"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408993"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_17"},{"key":"e_1_3_2_2_10_1","volume-title":"Islands: Aliasing Protection in Object-Oriented Languages. In Conference Proceedings on Object-Oriented Programming Systems, Languages, and Applications. 271\u2013285","author":"Hogg John","year":"1991","unstructured":"John Hogg . 1991 . Islands: Aliasing Protection in Object-Oriented Languages. In Conference Proceedings on Object-Oriented Programming Systems, Languages, and Applications. 271\u2013285 . John Hogg. 1991. Islands: Aliasing Protection in Object-Oriented Languages. In Conference Proceedings on Object-Oriented Programming Systems, Languages, and Applications. 271\u2013285."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009872"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093333.3009897"},{"key":"e_1_3_2_2_14_1","unstructured":"Fengyun Liu. 2016. A Study of Capability-Based Effect Systems. Master\u2019s thesis. infoscience.epfl.ch\/record\/219173  Fengyun Liu. 2016. A Study of Capability-Based Effect Systems. Master\u2019s thesis. infoscience.epfl.ch\/record\/219173"},{"key":"e_1_3_2_2_15_1","unstructured":"Fengyun Liu Sandro Stucki Nada Amin Paolo Giarruso and Martin Odersky. 2020. Disciplined Capabilities. EPFL. infoscience.epfl.ch\/record\/273642  Fengyun Liu Sandro Stucki Nada Amin Paolo Giarruso and Martin Odersky. 2020. Disciplined Capabilities. EPFL. infoscience.epfl.ch\/record\/273642"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73564"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1481861.1481868"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237791"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054091"},{"key":"e_1_3_2_2_20_1","unstructured":"Martin Odersky. 2015. Effects as Implicit Capabilities. Swiss National Fund research project. https:\/\/infoscience.epfl.ch\/record\/287464  Martin Odersky. 2015. Effects as Implicit Capabilities. Swiss National Fund research project. https:\/\/infoscience.epfl.ch\/record\/287464"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984009"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292565"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512766"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489804.2489808"},{"key":"e_1_3_2_2_25_1","volume-title":"Tracking Data-Flow with Open Closure Types. In International Conference on Logic for Programming Artificial Intelligence and Reasoning. 710\u2013726","author":"Scherer Gabriel","year":"2013","unstructured":"Gabriel Scherer and Jan Hoffmann . 2013 . Tracking Data-Flow with Open Closure Types. In International Conference on Logic for Programming Artificial Intelligence and Reasoning. 710\u2013726 . Gabriel Scherer and Jan Hoffmann. 2013. Tracking Data-Flow with Open Closure Types. In International Conference on Logic for Programming Artificial Intelligence and Reasoning. 710\u2013726."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680300488X"},{"key":"e_1_3_2_2_27_1","volume-title":"Turner","author":"Siek Jeremy G.","year":"2012","unstructured":"Jeremy G. Siek , Michael M. Vitousek , and Jonathan D . Turner . 2012 . Effects for Funargs. CoRR , abs\/1201.0023 (2012), arxiv:1201.0023. arxiv:1201.0023 Jeremy G. Siek, Michael M. Vitousek, and Jonathan D. Turner. 2012. Effects for Funargs. CoRR, abs\/1201.0023 (2012), arxiv:1201.0023. arxiv:1201.0023"},{"key":"e_1_3_2_2_28_1","unstructured":"Nicolas Stucki and Martin Odersky. 2020. Erased Definitions. Scala 3 Language Reference Page. https:\/\/dotty.epfl.ch\/docs\/reference\/experimental\/erased-defs.html  Nicolas Stucki and Martin Odersky. 2020. Erased Definitions. Scala 3 Language Reference Page. https:\/\/dotty.epfl.ch\/docs\/reference\/experimental\/erased-defs.html"},{"key":"e_1_3_2_2_29_1","unstructured":"Bill Venners and Bruce Eckel. 2003. The Trouble With Checked Exceptions - A Conversation with Anders Hejlsberg Part 2. www.artima.com\/articles\/the-trouble-with-checked-exceptions  Bill Venners and Bruce Eckel. 2003. The Trouble With Checked Exceptions - A Conversation with Anders Hejlsberg Part 2. www.artima.com\/articles\/the-trouble-with-checked-exceptions"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289429"},{"key":"e_1_3_2_2_31_1","volume-title":"Proc. ACM Program. Lang., 3, POPL","author":"Zhang Yizhou","year":"2019","unstructured":"Yizhou Zhang and Andrew C. Myers . 2019. Abstraction-safe Effect Handlers via Tunneling . Proc. ACM Program. Lang., 3, POPL ( 2019 ), Article 5, Jan., 29 pages. issn:2475-1421 Yizhou Zhang and Andrew C. Myers. 2019. Abstraction-safe Effect Handlers via Tunneling. Proc. ACM Program. Lang., 3, POPL (2019), Article 5, Jan., 29 pages. issn:2475-1421"},{"volume-title":"Proceedings of the Conference on Programming Language Design and Implementation. ACM","author":"Zhang Yizhou","key":"e_1_3_2_2_32_1","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. ACM , New York, NY, USA. 281\u2013295. 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. ACM, New York, NY, USA. 281\u2013295."}],"event":{"name":"SPLASH '21: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Chicago IL USA","acronym":"SPLASH '21"},"container-title":["Proceedings of the 12th ACM SIGPLAN International Symposium on Scala"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486610.3486893","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3486610.3486893","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:40Z","timestamp":1750193320000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486610.3486893"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,17]]},"references-count":32,"alternative-id":["10.1145\/3486610.3486893","10.1145\/3486610"],"URL":"https:\/\/doi.org\/10.1145\/3486610.3486893","relation":{},"subject":[],"published":{"date-parts":[[2021,10,17]]},"assertion":[{"value":"2021-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}