{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:13:11Z","timestamp":1750219991713,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,1,15]],"date-time":"2023-01-15T00:00:00Z","timestamp":1673740800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP18H03218, JP19K24339"],"award-info":[{"award-number":["JP18H03218, JP19K24339"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,1,15]]},"DOI":"10.1145\/3571786.3573015","type":"proceedings-article","created":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T13:52:15Z","timestamp":1673531535000},"page":"55-65","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Reflection for Effect Handlers"],"prefix":"10.1145","author":[{"given":"Youyou","family":"Cong","sequence":"first","affiliation":[{"name":"Tokyo Institute of Technology, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenichi","family":"Asai","sequence":"additional","affiliation":[{"name":"Ochanomizu University, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,1,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158095"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0033848"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.02.001"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of 5th International Conference on Formal Structures for Computation and Deduction (FSCD \u201920)","author":"Biernacki Dariusz","year":"2020","unstructured":"Dariusz Biernacki , Mateusz Pyzik , and Filip Sieczkowski . 2020 . A Reflection on Continuation-Composing Style . In Proceedings of 5th International Conference on Formal Structures for Computation and Deduction (FSCD \u201920) . Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik. Dariusz Biernacki, Mateusz Pyzik, and Filip Sieczkowski. 2020. A Reflection on Continuation-Composing Style. In Proceedings of 5th International Conference on Formal Structures for Computation and Deduction (FSCD \u201920). Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3479394.3479399"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428194"},{"key":"e_1_3_2_1_7_1","volume-title":"Effekt: Capability-passing style for type-and effect-safe, extensible effect handlers in Scala. Journal of Functional Programming, 30","author":"Brachth\u00e4user Jonathan Immanuel","year":"2020","unstructured":"Jonathan Immanuel Brachth\u00e4user , Philipp Schuster , and Klaus Ostermann . 2020 . Effekt: Capability-passing style for type-and effect-safe, extensible effect handlers in Scala. Journal of Functional Programming, 30 (2020). Jonathan Immanuel Brachth\u00e4user, Philipp Schuster, and Klaus Ostermann. 2020. Effekt: Capability-passing style for type-and effect-safe, extensible effect handlers in Scala. Journal of Functional Programming, 30 (2020)."},{"volume-title":"Post-proceedings of the 23rd International Symposium on Trends in Functional Programming (TFP \u201923","author":"Cong Youyou","key":"e_1_3_2_1_8_1","unstructured":"Youyou Cong and Kenichi Asai . to appear. Understanding Algebraic Effect Handlers via Delimited Control Operators . In Post-proceedings of the 23rd International Symposium on Trends in Functional Programming (TFP \u201923 , Wouter Swierstra and Nicolas Wu (Eds.). Youyou Cong and Kenichi Asai. to appear. Understanding Algebraic Effect Handlers via Delimited Control Operators. In Post-proceedings of the 23rd International Symposium on Trends in Functional Programming (TFP \u201923, Wouter Swierstra and Nicolas Wu (Eds.)."},{"key":"e_1_3_2_1_9_1","volume-title":"Doo bee doo bee doo. Journal of Functional Programming, 30","author":"Convent Lukas","year":"2020","unstructured":"Lukas Convent , Sam Lindley , Conor McBride , and Craig McLaughlin . 2020. Doo bee doo bee doo. Journal of Functional Programming, 30 ( 2020 ). Lukas Convent, Sam Lindley, Conor McBride, and Craig McLaughlin. 2020. Doo bee doo bee doo. Journal of Functional Programming, 30 (2020)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91622"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/141471.141564"},{"volume-title":"Selected Papers from the Symposium on 3rd European Symposium on Programming (ESOP \u201990)","author":"Felleisen Matthias","key":"e_1_3_2_1_12_1","unstructured":"Matthias Felleisen . 1991. On the Expressive Power of Programming Languages . In Selected Papers from the Symposium on 3rd European Symposium on Programming (ESOP \u201990) . Elsevier North-Holland, Inc. , New York, NY, USA . 35\u201375. Matthias Felleisen. 1991. On the Expressive Power of Programming Languages. In Selected Papers from the Symposium on 3rd European Symposium on Programming (ESOP \u201990). Elsevier North-Holland, Inc., New York, NY, USA. 35\u201375."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110257"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.3115\/976973.976987"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976022.2976033"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02768-1_22"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796820000040"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944722"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.153.8"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-71237-6_17"},{"key":"e_1_3_2_1_21_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\u2013210. Paul Blain Levy, John Power, and Hayo Thielecke. 2003. Modelling environments in call-by-value programming languages. Information and computation, 185, 2 (2003), 182\u2013210."},{"key":"e_1_3_2_1_22_1","volume-title":"Local algebraic effect theories. Journal of Functional Programming, 30","author":"Luk\u0161i\u010d \u017diga","year":"2020","unstructured":"\u017diga Luk\u0161i\u010d and Matija Pretnar . 2020. Local algebraic effect theories. Journal of Functional Programming, 30 ( 2020 ). \u017diga Luk\u0161i\u010d and Matija Pretnar. 2020. Local algebraic effect theories. Journal of Functional Programming, 30 (2020)."},{"key":"e_1_3_2_1_23_1","volume-title":"Computer Science Logic 2013 (CSL","author":"Materzok Marek","year":"2013","unstructured":"Marek Materzok . 2013. Axiomatizing subtyped delimited continuations . In Computer Science Logic 2013 (CSL 2013 ). Marek Materzok. 2013. Axiomatizing subtyped delimited continuations. In Computer Science Logic 2013 (CSL 2013)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35182-2_21"},{"key":"e_1_3_2_1_25_1","volume-title":"Typed Equivalence of Effect Handlers and Delimited Control. In 4th International Conference on Formal Structures for Computation and Deduction (FSCD","author":"Pir\u00f3g Maciej","year":"2019","unstructured":"Maciej Pir\u00f3g , Piotr Polesiuk , and Filip Sieczkowski . 2019 . Typed Equivalence of Effect Handlers and Delimited Control. In 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019). Maciej Pir\u00f3g, Piotr Polesiuk, and Filip Sieczkowski. 2019. Typed Equivalence of Effect Handlers and Delimited Control. In 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)."},{"key":"e_1_3_2_1_26_1","volume-title":"Algebraic operations and generic effects. Applied categorical structures, 11, 1","author":"Plotkin Gordon","year":"2003","unstructured":"Gordon Plotkin and John Power . 2003. Algebraic operations and generic effects. Applied categorical structures, 11, 1 ( 2003 ), 69\u201394. Gordon Plotkin and John Power. 2003. Algebraic operations and generic effects. Applied categorical structures, 11, 1 (2003), 69\u201394."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_7"},{"key":"e_1_3_2_1_28_1","volume-title":"call-by-value and the \u03bb -calculus. Theoretical computer science, 1, 2","author":"Plotkin Gordon D.","year":"1975","unstructured":"Gordon D. Plotkin . 1975. Call-by-name , call-by-value and the \u03bb -calculus. Theoretical computer science, 1, 2 ( 1975 ), 125\u2013159. Gordon D. Plotkin. 1975. Call-by-name, call-by-value and the \u03bb -calculus. Theoretical computer science, 1, 2 (1975), 125\u2013159."},{"key":"e_1_3_2_1_29_1","volume-title":"Reasoning about programs in continuation-passing style. Lisp and symbolic computation, 6, 3","author":"Sabry Amr","year":"1993","unstructured":"Amr Sabry and Matthias Felleisen . 1993. Reasoning about programs in continuation-passing style. Lisp and symbolic computation, 6, 3 ( 1993 ), 289\u2013360. Amr Sabry and Matthias Felleisen. 1993. Reasoning about programs in continuation-passing style. Lisp and symbolic computation, 6, 3 (1993), 289\u2013360."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232631"},{"key":"e_1_3_2_1_31_1","volume-title":"A reflection on call-by-value. ACM transactions on programming languages and systems (TOPLAS), 19, 6","author":"Sabry Amr","year":"1997","unstructured":"Amr Sabry and Philip Wadler . 1997. A reflection on call-by-value. ACM transactions on programming languages and systems (TOPLAS), 19, 6 ( 1997 ), 916\u2013941. Amr Sabry and Philip Wadler. 1997. A reflection on call-by-value. ACM transactions on programming languages and systems (TOPLAS), 19, 6 (1997), 916\u2013941."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408975"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454039"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408981"}],"event":{"name":"POPL '23: The 50th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Boston MA USA","acronym":"POPL '23"},"container-title":["Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3571786.3573015","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3571786.3573015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:33Z","timestamp":1750182573000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3571786.3573015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,15]]},"references-count":34,"alternative-id":["10.1145\/3571786.3573015","10.1145\/3571786"],"URL":"https:\/\/doi.org\/10.1145\/3571786.3573015","relation":{},"subject":[],"published":{"date-parts":[[2023,1,15]]},"assertion":[{"value":"2023-01-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}