{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:05:47Z","timestamp":1767927947843,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T00:00:00Z","timestamp":1697932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"JSPS KAKENHI","award":["19K24339, 18H03219, 23H03368"],"award-info":[{"award-number":["19K24339, 18H03219, 23H03368"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,22]]},"DOI":"10.1145\/3610612.3610616","type":"proceedings-article","created":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T23:13:48Z","timestamp":1697498028000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4452-6592","authenticated-orcid":false,"given":"Kazuki","family":"Ikemori","sequence":"first","affiliation":[{"name":"School of Computing, Tokyo Institute of Technology, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2315-6182","authenticated-orcid":false,"given":"Youyou","family":"Cong","sequence":"additional","affiliation":[{"name":"School of Computing, Tokyo Institute of Technology, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8837-5303","authenticated-orcid":false,"given":"Hidehiko","family":"Masuhara","sequence":"additional","affiliation":[{"name":"School of Computing, Tokyo Institute of Technology, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings(Lecture Notes in Computer Science, Vol.\u00a08089)","author":"Bauer Andrej","year":"2013","unstructured":"Andrej Bauer and Matija Pretnar . 2013 . An Effect System for Algebraic Effects and Handlers. In Algebra and Coalgebra in Computer Science - 5th International Conference , CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings(Lecture Notes in Computer Science, Vol.\u00a08089) , Reiko Heckel and Stefan Milius (Eds.). Springer, 1\u201316. https:\/\/doi.org\/10.1007\/978-3-642-40206-7_1 10.1007\/978-3-642-40206-7_1 Andrej Bauer and Matija Pretnar. 2013. An Effect System for Algebraic Effects and Handlers. In Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings(Lecture Notes in Computer Science, Vol.\u00a08089), Reiko Heckel and Stefan Milius (Eds.). Springer, 1\u201316. https:\/\/doi.org\/10.1007\/978-3-642-40206-7_1"},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. ACM Program. Lang. 4, POPL","author":"Biernacki Dariusz","year":"2020","unstructured":"Dariusz Biernacki , Maciej Pir\u00f3g , Piotr Polesiuk , and Filip Sieczkowski . 2020 . Binders by day, labels by night: effect instances via lexically scoped handlers . Proc. ACM Program. Lang. 4, POPL (2020), 48:1\u201348:29. https:\/\/doi.org\/10.1145\/3371116 10.1145\/3371116 Dariusz Biernacki, Maciej Pir\u00f3g, Piotr Polesiuk, and Filip Sieczkowski. 2020. Binders by day, labels by night: effect instances via lexically scoped handlers. Proc. ACM Program. Lang. 4, POPL (2020), 48:1\u201348:29. https:\/\/doi.org\/10.1145\/3371116"},{"key":"e_1_3_2_1_3_1","volume-title":"Trends in Functional Programming - 23rd International Symposium, TFP","author":"Cong Youyou","year":"2022","unstructured":"Youyou Cong and Kenichi Asai . 2022. Understanding Algebraic Effect Handlers via Delimited Control Operators . In Trends in Functional Programming - 23rd International Symposium, TFP 2022 , Virtual Event, March 17-18, 2022, Revised Selected Papers(Lecture Notes in Computer Science, Vol.\u00a013401), Wouter Swierstra and Nicolas Wu (Eds.). Springer , 59\u201379. https:\/\/doi.org\/10.1007\/978-3-031-21314-4_4 10.1007\/978-3-031-21314-4_4 Youyou Cong and Kenichi Asai. 2022. Understanding Algebraic Effect Handlers via Delimited Control Operators. In Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers(Lecture Notes in Computer Science, Vol.\u00a013401), Wouter Swierstra and Nicolas Wu (Eds.). Springer, 59\u201379. https:\/\/doi.org\/10.1007\/978-3-031-21314-4_4"},{"key":"e_1_3_2_1_4_1","volume-title":"Abstracting Control. In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990","author":"Danvy Olivier","year":"1990","unstructured":"Olivier Danvy and Andrzej Filinski . 1990 . Abstracting Control. In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990 , Nice, France , 27-29 June 1990, Gilles Kahn (Ed.). ACM, 151\u2013160. https:\/\/doi.org\/10.1145\/91556.91622 10.1145\/91556.91622 Olivier Danvy and Andrzej Filinski. 1990. Abstracting Control. In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990, Gilles Kahn (Ed.). ACM, 151\u2013160. https:\/\/doi.org\/10.1145\/91556.91622"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796813000312"},{"key":"e_1_3_2_1_6_1","volume-title":"The Theory and Practice of First-Class Prompts. In Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages","author":"Felleisen Matthias","year":"1988","unstructured":"Matthias Felleisen . 1988 . The Theory and Practice of First-Class Prompts. In Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages , San Diego, California, USA , January 10-13, 1988, Jeanne Ferrante and Peter Mager (Eds.). ACM Press, 180\u2013190. https:\/\/doi.org\/10.1145\/73560.73576 10.1145\/73560.73576 Matthias Felleisen. 1988. The Theory and Practice of First-Class Prompts. In Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988, Jeanne Ferrante and Peter Mager (Eds.). ACM Press, 180\u2013190. https:\/\/doi.org\/10.1145\/73560.73576"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90036-W"},{"key":"e_1_3_2_1_8_1","volume-title":"Representing Monads. In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Filinski Andrzej","year":"1994","unstructured":"Andrzej Filinski . 1994 . Representing Monads. In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ( Portland, Oregon, USA) (POPL \u201994). Association for Computing Machinery, New York, NY, USA, 446\u2013457. https:\/\/doi.org\/10.1145\/174675.178047 10.1145\/174675.178047 Andrzej Filinski. 1994. Representing Monads. In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Portland, Oregon, USA) (POPL \u201994). Association for Computing Machinery, New York, NY, USA, 446\u2013457. https:\/\/doi.org\/10.1145\/174675.178047"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007","author":"Flatt Matthew","year":"2007","unstructured":"Matthew Flatt , Gang Yu , Robert\u00a0Bruce Findler , and Matthias Felleisen . 2007 . Adding delimited and composable control to a production programming environment . In Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007 , Freiburg, Germany , October 1-3, 2007, Ralf Hinze and Norman Ramsey (Eds.). ACM, 165\u2013176. https:\/\/doi.org\/10.1145\/1291151.1291178 10.1145\/1291151.1291178 Matthew Flatt, Gang Yu, Robert\u00a0Bruce Findler, and Matthias Felleisen. 2007. Adding delimited and composable control to a production programming environment. In Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, Ralf Hinze and Norman Ramsey (Eds.). ACM, 165\u2013176. https:\/\/doi.org\/10.1145\/1291151.1291178"},{"key":"e_1_3_2_1_10_1","volume-title":"Monadic Reflection, Delimited Control. CoRR abs\/1610.09161","author":"Forster Yannick","year":"2016","unstructured":"Yannick Forster , Ohad Kammar , Sam Lindley , and Matija Pretnar . 2016. On the Expressive Power of User-Defined Effects: Effect Handlers , Monadic Reflection, Delimited Control. CoRR abs\/1610.09161 ( 2016 ). arXiv:1610.09161http:\/\/arxiv.org\/abs\/1610.09161 Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar. 2016. On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control. CoRR abs\/1610.09161 (2016). arXiv:1610.09161http:\/\/arxiv.org\/abs\/1610.09161"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995","author":"Gunter A.","year":"1995","unstructured":"Carl\u00a0 A. Gunter , Didier R\u00e9my , and Jon\u00a0 G. Riecke . 1995 . A Generalization of Exceptions and Control in ML-like Languages . In Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995 , La Jolla, California, USA , June 25-28, 1995, John Williams (Ed.). ACM, 12\u201323. https:\/\/doi.org\/10.1145\/224164.224173 10.1145\/224164.224173 Carl\u00a0A. Gunter, Didier R\u00e9my, and Jon\u00a0G. Riecke. 1995. A Generalization of Exceptions and Control in ML-like Languages. In Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, John Williams (Ed.). ACM, 12\u201323. https:\/\/doi.org\/10.1145\/224164.224173"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500590"},{"key":"e_1_3_2_1_13_1","volume-title":"10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings(Lecture Notes in Computer Science, Vol.\u00a06009)","author":"Kiselyov Oleg","year":"2010","unstructured":"Oleg Kiselyov . 2010 . Delimited Control in OCaml, Abstractly and Concretely: System Description. In Functional and Logic Programming , 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings(Lecture Notes in Computer Science, Vol.\u00a06009) , Matthias Blume, Naoki Kobayashi, and Germ\u00e1n Vidal (Eds.). Springer, 304\u2013320. https:\/\/doi.org\/10.1007\/978-3-642-12251-4_22 10.1007\/978-3-642-12251-4_22 Oleg Kiselyov. 2010. Delimited Control in OCaml, Abstractly and Concretely: System Description. In Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings(Lecture Notes in Computer Science, Vol.\u00a06009), Matthias Blume, Naoki Kobayashi, and Germ\u00e1n Vidal (Eds.). Springer, 304\u2013320. https:\/\/doi.org\/10.1007\/978-3-642-12251-4_22"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006","author":"Kiselyov Oleg","year":"2006","unstructured":"Oleg Kiselyov , Chung-chieh Shan, and Amr Sabry . 2006 . Delimited dynamic binding . In Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006 , Portland, Oregon, USA , September 16-21, 2006, John\u00a0H. Reppy and Julia Lawall (Eds.). ACM, 26\u201337. https:\/\/doi.org\/10.1145\/1159803.1159808 10.1145\/1159803.1159808 Oleg Kiselyov, Chung-chieh Shan, and Amr Sabry. 2006. Delimited dynamic binding. In Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, John\u00a0H. Reppy and Julia Lawall (Eds.). ACM, 26\u201337. https:\/\/doi.org\/10.1145\/1159803.1159808"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings ML Family Workshop \/ OCaml Users and Developers workshops, ML\/OCAML 2016","author":"Kiselyov Oleg","year":"2016","unstructured":"Oleg Kiselyov and K.\u00a0 C. Sivaramakrishnan . 2016 . Eff Directly in OCaml . In Proceedings ML Family Workshop \/ OCaml Users and Developers workshops, ML\/OCAML 2016 , Nara, Japan , September 22-23, 2016(EPTCS, Vol.\u00a0285), Kenichi Asai and Mark\u00a0R. Shinwell (Eds.). 23\u201358. https:\/\/doi.org\/10.4204\/EPTCS.285.2 10.4204\/EPTCS.285.2 Oleg Kiselyov and K.\u00a0C. Sivaramakrishnan. 2016. Eff Directly in OCaml. In Proceedings ML Family Workshop \/ OCaml Users and Developers workshops, ML\/OCAML 2016, Nara, Japan, September 22-23, 2016(EPTCS, Vol.\u00a0285), Kenichi Asai and Mark\u00a0R. Shinwell (Eds.). 23\u201358. https:\/\/doi.org\/10.4204\/EPTCS.285.2"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.153.8"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of Principles of Programming Languages (POPL\u201917)","author":"Leijen Daan","year":"2017","unstructured":"Daan Leijen . 2017 . Type Directed Compilation of Row-Typed Algebraic Effects . In Proceedings of Principles of Programming Languages (POPL\u201917) , Paris, France (proceedings of principles of programming languages (popl\u201917), paris, france ed.). https:\/\/www.microsoft.com\/en-us\/research\/publication\/type-directed-compilation-row-typed-algebraic-effects\/ Daan Leijen. 2017. Type Directed Compilation of Row-Typed Algebraic Effects. In Proceedings of Principles of Programming Languages (POPL\u201917), Paris, France (proceedings of principles of programming languages (popl\u201917), paris, france ed.). https:\/\/www.microsoft.com\/en-us\/research\/publication\/type-directed-compilation-row-typed-algebraic-effects\/"},{"key":"e_1_3_2_1_18_1","volume-title":"APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings(Lecture Notes in Computer Science, Vol.\u00a07705)","author":"Materzok Marek","year":"2012","unstructured":"Marek Materzok and Dariusz Biernacki . 2012 . A Dynamic Interpretation of the CPS Hierarchy. In Programming Languages and Systems - 10th Asian Symposium , APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings(Lecture Notes in Computer Science, Vol.\u00a07705) , Ranjit Jhala and Atsushi Igarashi (Eds.). Springer, 296\u2013311. https:\/\/doi.org\/10.1007\/978-3-642-35182-2_21 10.1007\/978-3-642-35182-2_21 Marek Materzok and Dariusz Biernacki. 2012. A Dynamic Interpretation of the CPS Hierarchy. In Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings(Lecture Notes in Computer Science, Vol.\u00a07705), Ranjit Jhala and Atsushi Igarashi (Eds.). Springer, 296\u2013311. https:\/\/doi.org\/10.1007\/978-3-642-35182-2_21"},{"key":"e_1_3_2_1_19_1","volume-title":"Typed Equivalence of Effect Handlers and Delimited Control. In 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019","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 , June 24-30, 2019, Dortmund, Germany(LIPIcs, Vol.\u00a0131), Herman Geuvers (Ed.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 30:1\u201330:16. https:\/\/doi.org\/10.4230\/LIPIcs.FSCD. 2019.30 10.4230\/LIPIcs.FSCD.2019.30 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, June 24-30, 2019, Dortmund, Germany(LIPIcs, Vol.\u00a0131), Herman Geuvers (Ed.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 30:1\u201330:16. https:\/\/doi.org\/10.4230\/LIPIcs.FSCD.2019.30"},{"key":"e_1_3_2_1_20_1","volume-title":"Plotkin and Matija Pretnar","author":"D.","year":"2009","unstructured":"Gordon\u00a0 D. Plotkin and Matija Pretnar . 2009 . Handlers of Algebraic Effects. In Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings(Lecture Notes in Computer Science, Vol.\u00a05502), Giuseppe Castagna (Ed.). Springer , 80\u201394. https:\/\/doi.org\/10.1007\/978-3-642-00590-9_7 10.1007\/978-3-642-00590-9_7 Gordon\u00a0D. Plotkin and Matija Pretnar. 2009. Handlers of Algebraic Effects. In Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings(Lecture Notes in Computer Science, Vol.\u00a05502), Giuseppe Castagna (Ed.). Springer, 80\u201394. https:\/\/doi.org\/10.1007\/978-3-642-00590-9_7"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2015.12.003"},{"key":"e_1_3_2_1_22_1","volume-title":"ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings(Lecture Notes in Computer Science, Vol.\u00a07792)","author":"Takikawa Asumu","year":"2013","unstructured":"Asumu Takikawa , T.\u00a0 Stephen Strickland , and Sam Tobin-Hochstadt . 2013 . Constraining Delimited Control with Contracts. In Programming Languages and Systems - 22nd European Symposium on Programming , ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings(Lecture Notes in Computer Science, Vol.\u00a07792) , Matthias Felleisen and Philippa Gardner (Eds.). Springer, 229\u2013248. https:\/\/doi.org\/10.1007\/978-3-642-37036-6_14 10.1007\/978-3-642-37036-6_14 Asumu Takikawa, T.\u00a0Stephen Strickland, and Sam Tobin-Hochstadt. 2013. Constraining Delimited Control with Contracts. In Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings(Lecture Notes in Computer Science, Vol.\u00a07792), Matthias Felleisen and Philippa Gardner (Eds.). Springer, 229\u2013248. https:\/\/doi.org\/10.1007\/978-3-642-37036-6_14"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"},{"key":"e_1_3_2_1_24_1","volume-title":"Evidently. In The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP). ACM SIGPLAN, ACM. https:\/\/www.microsoft.com\/en-us\/research\/publication\/effect-handlers-evidently\/","author":"Xie Ningning","year":"2020","unstructured":"Ningning Xie , Jonathan Brachthauser , Daniel Hillerstrom , Philipp Schuster , and Daan Leijen . 2020 . Effect Handlers , Evidently. In The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP). ACM SIGPLAN, ACM. https:\/\/www.microsoft.com\/en-us\/research\/publication\/effect-handlers-evidently\/ Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, and Daan Leijen. 2020. Effect Handlers, Evidently. In The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP). ACM SIGPLAN, ACM. https:\/\/www.microsoft.com\/en-us\/research\/publication\/effect-handlers-evidently\/"},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. ACM Program. Lang. 6, OOPSLA2","author":"Xie Ningning","year":"2022","unstructured":"Ningning Xie , Youyou Cong , Kazuki Ikemori , and Daan Leijen . 2022 . First-class names for effect handlers . Proc. ACM Program. Lang. 6, OOPSLA2 (2022), 30\u201359. https:\/\/doi.org\/10.1145\/3563289 10.1145\/3563289 Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen. 2022. First-class names for effect handlers. Proc. ACM Program. Lang. 6, OOPSLA2 (2022), 30\u201359. https:\/\/doi.org\/10.1145\/3563289"}],"event":{"name":"PPDP 2023: International Symposium on Principles and Practice of Declarative Programming","location":"Lisboa Portugal","acronym":"PPDP 2023"},"container-title":["International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3610612.3610616","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:00Z","timestamp":1750178160000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3610612.3610616"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,22]]},"references-count":25,"alternative-id":["10.1145\/3610612.3610616","10.1145\/3610612"],"URL":"https:\/\/doi.org\/10.1145\/3610612.3610616","relation":{},"subject":[],"published":{"date-parts":[[2023,10,22]]},"assertion":[{"value":"2023-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}