{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T20:24:00Z","timestamp":1764361440662,"version":"3.46.0"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031997501"},{"type":"electronic","value":"9783031997518"}],"license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-99751-8_9","type":"book-chapter","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T01:16:08Z","timestamp":1759281368000},"page":"185-204","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reconstructing Continuation-Passing Semantics for\u00a0WebAssembly"],"prefix":"10.1007","author":[{"given":"Guannan","family":"Wei","sequence":"first","affiliation":[]},{"given":"Alexander Y.","family":"Bai","sequence":"additional","affiliation":[]},{"given":"Dinghong","family":"Zhong","sequence":"additional","affiliation":[]},{"given":"Jiatai","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Appel, A.W.: Compiling with Continuations. Cambridge University Press (1992)","DOI":"10.1017\/CBO9780511609619"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Biernacki, D., Danvy, O., Millikin, K.: A dynamic continuation-passing style for dynamic delimited continuations. ACM Trans. Program. Lang. Syst. 38(1), 2:1\u20132:25 (2015)","DOI":"10.1145\/2794078"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bondorf, A.: Improving binding times without explicit cps-conversion. In: LISP and Functional Programming, pp. 1\u201310. ACM (1992)","DOI":"10.1145\/141471.141483"},{"key":"9_CR4","unstructured":"Brandl, K., Erdweg, S., Keidel, S., Hansen, N.: Modular abstract definitional interpreters for webassembly. In: ECOOP, LIPIcs, vol. 263, pp. 5:1\u20135:28, Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2023)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Cong, Y., Asai, K.: Understanding algebraic effect handlers via delimited control operators. In: TFP. Lecture Notes in Computer Science, vol. 13401, pp. 59\u201379. Springer (2022)","DOI":"10.1007\/978-3-031-21314-4_4"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Danvy, O.: Back to direct style. In: ESOP. Lecture Notes in Computer Science, vol. 582, pp. 130\u2013150, Springer (1992)","DOI":"10.1007\/3-540-55253-7_8"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Danvy, O., Filinski, A.: Abstracting control. In: LISP and Functional Programming, pp. 151\u2013160. ACM (1990)","DOI":"10.1145\/91556.91622"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Danvy, O., Lawall, J.L.: Back to direct style II: first-class continuations. In: LISP and Functional Programming, pp. 299\u2013310. ACM (1992)","DOI":"10.1145\/141471.141564"},{"issue":"8","key":"9_CR9","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1016\/j.scico.2007.10.007","volume":"74","author":"O Danvy","year":"2009","unstructured":"Danvy, O., Millikin, K.: Refunctionalization at work. Sci. Comput. Program. 74(8), 534\u2013549 (2009)","journal-title":"Sci. Comput. Program."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Danvy, O., Nielsen, L.R.: Defunctionalization at work. In: PPDP, pp. 162\u2013174. ACM (2001)","DOI":"10.1145\/773184.773202"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Darais, D., Labich, N., Nguyen, P.C., Horn, D.V.: Abstracting definitional interpreters (functional pearl). Proc. ACM Program. Lang. 1(ICFP), 12:1\u201312:25 (2017)","DOI":"10.1145\/3110256"},{"issue":"2","key":"9_CR12","doi-asserted-by":"publisher","first-page":"7","DOI":"10.22152\/programming-journal.org\/2022\/6\/7","volume":"6","author":"J Gibbons","year":"2022","unstructured":"Gibbons, J.: Continuation-passing style, defunctionalization, accumulations, and associativity. Art Sci. Eng. Program. 6(2), 7 (2022)","journal-title":"Art Sci. Eng. Program."},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Haas, A., et al.: Bringing the web up to speed with webassembly. In: PLDI, pp. 185\u2013200. ACM (2017)","DOI":"10.1145\/3062341.3062363"},{"key":"9_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796820000040","volume":"30","author":"D Hillerstr\u00f6m","year":"2020","unstructured":"Hillerstr\u00f6m, D., Lindley, S., Atkey, R.: Effect handlers via generalised continuations. J. Funct. Program. 30, e5 (2020)","journal-title":"J. Funct. Program."},{"key":"9_CR15","unstructured":"Hillerstr\u00f6m, D., Lindley, S., Atkey, R., Sivaramakrishnan, K.C.: Continuation passing style for effect handlers. In: FSCD, LIPIcs, vol.\u00a084, pp. 18:1\u201318:19. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2017)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Jones, N.D.: What not to do when writing an interpreter for specialisation. In: Dagstuhl Seminar on Partial Evaluation. Lecture Notes in Computer Science, vol. 1110, pp. 216\u2013237. Springer (1996)","DOI":"10.1007\/3-540-61580-6_11"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Lawall, J.L., Danvy, O.: Continuation-based partial evaluation. In: LISP and Functional Programming, pp. 227\u2013238. ACM (1994)","DOI":"10.1145\/182590.182483"},{"issue":"OOPSLA1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1145\/3586056","volume":"7","author":"M M\u00fcller","year":"2023","unstructured":"M\u00fcller, M., Schuster, P., Brachth\u00e4user, J.I., Ostermann, K.: Back to direct style: typed and tight. Proc. ACM Program. Lang. 7(OOPSLA1), 848\u2013875 (2023)","journal-title":"Proc. ACM Program. Lang."},{"issue":"OOPSLA2","key":"9_CR19","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1145\/3622814","volume":"7","author":"L Phipps-Costin","year":"2023","unstructured":"Phipps-Costin, L., et al.: Continuing WebAssembly with effect handlers. Proc. ACM Program. Lang. 7(OOPSLA2), 460\u2013485 (2023)","journal-title":"Proc. ACM Program. Lang."},{"key":"9_CR20","first-page":"17","volume":"60\u201361","author":"GD Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebraic Methods Program. 60\u201361, 17\u2013139 (2004)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D., Pretnar, M.: Handlers of algebraic effects. In: ESOP. Lecture Notes in Computer Science, vol. 5502, pp. 80\u201394. Springer (2009)","DOI":"10.1007\/978-3-642-00590-9_7"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D., Pretnar, M.: Handling algebraic effects. Log. Methods Comput. Sci. 9(4) (2013)","DOI":"10.2168\/LMCS-9(4:23)2013"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Definitional interpreters for higher-order programming languages. In: ACM Annual Conference (2), pp. 717\u2013740. ACM (1972)","DOI":"10.1145\/800194.805852"},{"key":"9_CR24","unstructured":"Stanford University: CS242: Programming Languages (Fall 2019, Will Crichton) - Assignment 5 (2019). https:\/\/stanford-cs242.github.io\/f19\/assignments\/assign5\/. Accessed 28 Oct 2024"},{"issue":"2\u20133","key":"9_CR25","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1023\/A:1020887011500","volume":"15","author":"H Thielecke","year":"2002","unstructured":"Thielecke, H.: Comparing control constructs by double-barrelled CPS. High. Order Symb. Comput. 15(2\u20133), 141\u2013160 (2002)","journal-title":"High. Order Symb. Comput."},{"key":"9_CR26","unstructured":"Watt, C., Maksimovi\u0107, P., Krishnaswami, N.R., Gardner, P.: A program logic for first-order encapsulated WebAssembly. In: 33rd European Conference on Object-Oriented Programming (ECOOP 2019), Leibniz International Proceedings in Informatics (LIPIcs), vol. 134, pp. 9:1\u20139:30. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik (2019)"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Watt, C., Trela, M., Lammich, P., M\u00e4rkl, F.: WasmRef-Isabelle: a verified monadic interpreter and industrial fuzzing oracle for webassembly. Proc. ACM Program. Lang. 7(PLDI), 100\u2013123 (2023)","DOI":"10.1145\/3591224"},{"key":"9_CR28","unstructured":"WebAssembly Contributors: WasmFX Specification (2024). https:\/\/wasmfx.dev\/specs\/core\/. Accessed 11 Nov 2024"},{"key":"9_CR29","unstructured":"WebAssembly Contributors: Webassembly core specification: Runtime stack (2024). https:\/\/webassembly.github.io\/spec\/core\/exec\/runtime.html#stack. Accessed 17 Oct 2024"},{"key":"9_CR30","unstructured":"WebAssembly Contributors: WebAssembly Proposal: Exceptions (2024). https:\/\/github.com\/WebAssembly\/exception-handling\/blob\/main\/proposals\/exception-handling\/Exceptions.md. Accessed 25 Sept 2024"},{"key":"9_CR31","unstructured":"WebAssembly Contributors: WebAssembly Proposal: Tail-Call (2024). https:\/\/github.com\/WebAssembly\/tail-call. Accessed 24 Oct 2024"},{"key":"9_CR32","unstructured":"WebAssembly Contributors: WebAssembly Proposal: Type Continuations (2024). https:\/\/github.com\/WebAssembly\/stack-switching\/blob\/main\/proposals\/continuations\/Explainer.md. Accessed 25 Sept 2024"},{"key":"9_CR33","unstructured":"WebAssembly Contributors: WebAssembly Proposal: Typed Function References (2024). https:\/\/github.com\/WebAssembly\/function-references. Accessed 24 Oct 2024"},{"key":"9_CR34","unstructured":"WebAssembly Contributors: WebAssembly Specification (2024). https:\/\/webassembly.github.io\/spec\/core\/. Accessed 25 Sept 2024"},{"key":"9_CR35","unstructured":"WebAssembly Contributors: Webassembly specification testsuite (2024). https:\/\/github.com\/WebAssembly\/spec\/tree\/main\/test\/core. Accessed 11 Nov 2024"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"Wei, G., et al.: Compiling parallel symbolic execution with continuations. In: ICSE, pp. 1316\u20131328. IEEE (2023)","DOI":"10.1109\/ICSE48619.2023.00116"},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"Youn, D., et al.: Bringing the webassembly standard up to speed with spectec. Proc. ACM Program. Lang. 8(PLDI), 1559\u20131584 (2024)","DOI":"10.1145\/3656440"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-99751-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T20:22:17Z","timestamp":1764361337000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-99751-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783031997501","9783031997518"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-99751-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,10,1]]},"assertion":[{"value":"1 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TFP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Trends in Functional Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oxford","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 January 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 January 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tfp2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/trendsfp.github.io\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}