{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:44Z","timestamp":1750220264804,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,2,24]],"date-time":"2022-02-24T00:00:00Z","timestamp":1645660800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Research funded by Japan Society for the Promotion of Science","award":["20K11743"],"award-info":[{"award-number":["20K11743"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,2,24]]},"DOI":"10.1145\/3524304.3524318","type":"proceedings-article","created":{"date-parts":[[2022,6,6]],"date-time":"2022-06-06T16:13:59Z","timestamp":1654532039000},"page":"90-96","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Formalizing dynamic-wind in the lambda calculus"],"prefix":"10.1145","author":[{"given":"Ryotaro","family":"Kasuga","sequence":"first","affiliation":[{"name":"Department of Computer Science, Tokyo Institute of Technology, Japan"}]},{"given":"Shin-ya","family":"Nishizaki","sequence":"additional","affiliation":[{"name":"Global Scientific Information and Computing Center, Tokyo Institute of Technology, Japan"}]}],"member":"320","published-online":{"date-parts":[[2022,6,6]]},"reference":[{"key":"#cr-split#-e_1_3_2_1_1_1.1","doi-asserted-by":"crossref","unstructured":"Yuta Aoyagi and Shin-ya Nishizaki. 2018. Untyped Call-by-Value Calculus with First-Class Continuations and Environments. In Theory and Practice of Computation. World Scientific 101-117. doi:10.1142\/9789813279674_0008. 10.1142\/9789813279674_0008","DOI":"10.1142\/9789813279674_0008"},{"key":"#cr-split#-e_1_3_2_1_1_1.2","doi-asserted-by":"crossref","unstructured":"Yuta Aoyagi and Shin-ya Nishizaki. 2018. Untyped Call-by-Value Calculus with First-Class Continuations and Environments. In Theory and Practice of Computation. World Scientific 101-117. doi:10.1142\/9789813279674_0008.","DOI":"10.1142\/9789813279674_0008"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"H.\u00a0P. Barendregt. 2013. The Lambda Calculus: Its Sytax and Semantics Revised Edition. North Holland.  H.\u00a0P. Barendregt. 2013. The Lambda Calculus: Its Sytax and Semantics Revised Edition. North Holland.","DOI":"10.1017\/CBO9781139032636"},{"key":"e_1_3_2_1_3_1","volume-title":"Abstracting Control. In Proceedings of the 1990 ACM Conference on LISP and Functional Programming","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 ( Nice, France) (LFP \u201990). Association for Computing Machinery, New York, NY, USA, 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 (Nice, France) (LFP \u201990). Association for Computing Machinery, New York, NY, USA, 151\u2013160. https:\/\/doi.org\/10.1145\/91556.91622"},{"key":"e_1_3_2_1_4_1","unstructured":"Marc Feeley. [n.d.]. Scheme Requests for Implementation: SFRI-39. https:\/\/srfi.schemers.org\/srfi-39\/srfi-39.html.  Marc Feeley. [n.d.]. Scheme Requests for Implementation: SFRI-39. https:\/\/srfi.schemers.org\/srfi-39\/srfi-39.html."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73576"},{"volume-title":"Proceedings of the Symposium on Logic in Computer Science. IEEE Computer Society Press.","author":"Felleisen M.","key":"e_1_3_2_1_6_1","unstructured":"M. Felleisen , D.\u00a0 P. Friedman , E. Kohlbecker , and B. Duba . 1986. Reasoning with continuations . In Proceedings of the Symposium on Logic in Computer Science. IEEE Computer Society Press. M. Felleisen, D.\u00a0P. Friedman, E. Kohlbecker, and B. Duba. 1986. Reasoning with continuations. In Proceedings of the Symposium on Logic in Computer Science. IEEE Computer Society Press."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90109-5"},{"key":"e_1_3_2_1_8_1","unstructured":"Martin Gasbichler Eric Knauel Michael Sperber and R. Kelsey. [n.d.]. How to Add Threads to a Sequential Language Without Getting Tangled Up.  Martin Gasbichler Eric Knauel Michael Sperber and R. Kelsey. [n.d.]. How to Add Threads to a Sequential Language Without Getting Tangled Up."},{"key":"e_1_3_2_1_9_1","unstructured":"J.-Y. Girard P. Taylor and Y. Lafont. 1989. Proofs and Types. Cambridge Tracts in Computer Science Vol.\u00a07. Cambridge University Press.  J.-Y. Girard P. Taylor and Y. Lafont. 1989. Proofs and Types. Cambridge Tracts in Computer Science Vol.\u00a07. Cambridge University Press."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96714"},{"volume-title":"Embedding Continuations in Procedural Objects. 9, 4 ([n. d.]), 582\u2013598. https:\/\/doi.org\/10.1145\/29873.30392 Place: New York","author":"Haynes T.","key":"e_1_3_2_1_11_1","unstructured":"Christopher\u00a0 T. Haynes and Daniel\u00a0 P. Friedman . [n.d.]. Embedding Continuations in Procedural Objects. 9, 4 ([n. d.]), 582\u2013598. https:\/\/doi.org\/10.1145\/29873.30392 Place: New York , NY , USA Publisher : Association for Computing Machinery. 10.1145\/29873.30392 Christopher\u00a0T. Haynes and Daniel\u00a0P. Friedman. [n.d.]. Embedding Continuations in Procedural Objects. 9, 4 ([n. d.]), 582\u2013598. https:\/\/doi.org\/10.1145\/29873.30392 Place: New York, NY, USA Publisher: Association for Computing Machinery."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99623"},{"key":"e_1_3_2_1_13_1","unstructured":"Oleg Kiselyov. [n.d.]. Implementations of delimited control in OCaml Haskell Scheme. https:\/\/okmij.org\/ftp\/continuations\/implementations.html#dynamic-wind. https:\/\/okmij.org\/ftp\/continuations\/implementations.html#dynamic-wind  Oleg Kiselyov. [n.d.]. Implementations of delimited control in OCaml Haskell Scheme. https:\/\/okmij.org\/ftp\/continuations\/implementations.html#dynamic-wind. https:\/\/okmij.org\/ftp\/continuations\/implementations.html#dynamic-wind"},{"volume-title":"Delimited Dynamic Binding. 41, 9([n. d.]), 26\u201337. https:\/\/doi.org\/10.1145\/1160074.1159808 Place: New York","author":"Kiselyov Oleg","key":"e_1_3_2_1_14_1","unstructured":"Oleg Kiselyov , Chung-chieh Shan, and Amr Sabry . [n.d.]. Delimited Dynamic Binding. 41, 9([n. d.]), 26\u201337. https:\/\/doi.org\/10.1145\/1160074.1159808 Place: New York , NY , USA Publisher : Association for Computing Machinery. 10.1145\/1160074.1159808 Oleg Kiselyov, Chung-chieh Shan, and Amr Sabry. [n.d.]. Delimited Dynamic Binding. 41, 9([n. d.]), 26\u201337. https:\/\/doi.org\/10.1145\/1160074.1159808 Place: New York, NY, USA Publisher: Association for Computing Machinery."},{"key":"e_1_3_2_1_15_1","volume-title":"Programs with Continuations and Linear Logic. 21, 2","author":"Nishizaki S.","year":"1994","unstructured":"S. Nishizaki . 1994. Programs with Continuations and Linear Logic. 21, 2 ( 1994 ), 165\u2013190. Elsevier . S. Nishizaki. 1994. Programs with Continuations and Linear Logic. 21, 2 (1994), 165\u2013190. Elsevier."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.2977\/prims\/1195164948"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010010314528"}],"event":{"name":"ICSCA 2022: 2022 11th International Conference on Software and Computer Applications","acronym":"ICSCA 2022","location":"Melaka Malaysia"},"container-title":["2022 11th International Conference on Software and Computer Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524304.3524318","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3524304.3524318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:57Z","timestamp":1750188657000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524304.3524318"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,24]]},"references-count":18,"alternative-id":["10.1145\/3524304.3524318","10.1145\/3524304"],"URL":"https:\/\/doi.org\/10.1145\/3524304.3524318","relation":{},"subject":[],"published":{"date-parts":[[2022,2,24]]},"assertion":[{"value":"2022-06-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}