{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:14:56Z","timestamp":1775873696156,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,1,19]],"date-time":"2009-01-19T00:00:00Z","timestamp":1232323200000},"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":[[2009,1,19]]},"DOI":"10.1145\/1480945.1480962","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T14:41:38Z","timestamp":1232462498000},"page":"111-120","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Shifting the stage"],"prefix":"10.1145","author":[{"given":"Yukiyoshi","family":"Kameyama","sequence":"first","affiliation":[{"name":"University of Tsukuba, Tsukuba, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleg","family":"Kiselyov","sequence":"additional","affiliation":[{"name":"FNMOC, Monterey, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chung-chieh","family":"Shan","sequence":"additional","affiliation":[{"name":"Rutgers University, Piscataway, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,1,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Asai Kenichi and Yukiyoshi Kameyama. 2007. Polymorphic delimited continuations. In APLAS 239--254. LNCS 4807. Asai Kenichi and Yukiyoshi Kameyama. 2007. Polymorphic delimited continuations. In APLAS 239--254. LNCS 4807.","DOI":"10.1007\/978-3-540-76637-7_16"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/141471.141483"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90002-F"},{"key":"e_1_3_2_1_4_1","volume-title":"ICALP, 25--36. LNCS","author":"Calcagno Cristiano","year":"1853","unstructured":"Calcagno , Cristiano , Eugenio Moggi , and Walid Taha . 2000. Closed types as a simple approach to safe imperative multi-stage programming . In ICALP, 25--36. LNCS 1853 . Calcagno, Cristiano, Eugenio Moggi, and Walid Taha. 2000. Closed types as a simple approach to safe imperative multi-stage programming. In ICALP, 25--36. LNCS 1853."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.09.008"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.10.013"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25935-0_4"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91622"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001535"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Davies Rowan. 1996. A temporal logic approach to binding-time analysis. In LICS 184--195. Davies Rowan. 1996. A temporal logic approach to binding-time analysis. In LICS 184--195.","DOI":"10.1109\/LICS.1996.561317"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561347_19"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017482"},{"key":"e_1_3_2_1_14_1","volume-title":"Friedman","author":"Felleisen Matthias","year":"1987","unstructured":"Felleisen , Matthias , and Daniel P . Friedman . 1987 . A reduction semantics for imperative higher-order languages. In PARLE: Parallel architectures and languages Europe. Volume II : Parallel languages, 206--223. LNCS 259. Felleisen, Matthias, and Daniel P. Friedman. 1987. A reduction semantics for imperative higher-order languages. In PARLE: Parallel architectures and languages Europe. Volume II: Parallel languages, 206--223. LNCS 259."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.178047"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840301"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000058"},{"key":"e_1_3_2_1_18_1","volume-title":"Hume: A domain-specific language for real-time embedded systems. In GPCE, 37--56. LNCS 2830.","author":"Hammond Kevin","year":"2003","unstructured":"Hammond , Kevin , and Greg Michaelson . 2003 . Hume: A domain-specific language for real-time embedded systems. In GPCE, 37--56. LNCS 2830. Hammond, Kevin, and Greg Michaelson. 2003. Hume: A domain-specific language for real-time embedded systems. In GPCE, 37--56. LNCS 2830."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328408.1328430"},{"key":"e_1_3_2_1_20_1","unstructured":"Kiselyov Oleg. 2006. Native delimited continuations in (byte-code) OCaml. http:\/\/okmij.org\/ftp\/Computation\/Continuations.html#caml-shift. Kiselyov Oleg. 2006. Native delimited continuations in (byte-code) OCaml. http:\/\/okmij.org\/ftp\/Computation\/Continuations.html#caml-shift."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159808"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11535409_71"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/182409.182483"},{"key":"e_1_3_2_1_24_1","volume-title":"2006. Special issue on the 1st MetaOCaml workshop","author":"Lengauer Christian","year":"2004","unstructured":"Lengauer , Christian , and Walid Taha , eds. 2006. Special issue on the 1st MetaOCaml workshop ( 2004 ), vol. 62(1) of Science of Computer Programming. Lengauer, Christian, and Walid Taha, eds. 2006. Special issue on the 1st MetaOCaml workshop (2004), vol. 62(1) of Science of Computer Programming."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349230"},{"key":"e_1_3_2_1_26_1","volume-title":"Workshop on fixed points in computer science; http:\/\/www.dsi.uniroma1.it\/~labella\/absMcAdam.ps.","author":"McAdam Bruce J","year":"2001","unstructured":"McAdam , Bruce J . 2001 . Y in practical programs . Workshop on fixed points in computer science; http:\/\/www.dsi.uniroma1.it\/~labella\/absMcAdam.ps. McAdam, Bruce J. 2001. Y in practical programs. Workshop on fixed points in computer science; http:\/\/www.dsi.uniroma1.it\/~labella\/absMcAdam.ps."},{"key":"e_1_3_2_1_27_1","unstructured":"MetaOCaml. 2006. MetaOCaml. http:\/\/www.metaocaml.org. MetaOCaml. 2006. MetaOCaml. http:\/\/www.metaocaml.org."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1038\/218019a0"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010087314987"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73569"},{"key":"e_1_3_2_1_31_1","volume-title":"Two-level functional languages","author":"Nielson Flemming","unstructured":"Nielson , Flemming . 1992. Two-level functional languages . Cambridge University Press . Nielson, Flemming. 1992. Two-level functional languages. Cambridge University Press."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Parigot Michel. 1992. \u00bb\u00bc-calculus: An algorithmic interpretation of classical natural deduction. In LPAR 190--201. LNAI 624. Parigot Michel. 1992. \u00bb\u00bc-calculus: An algorithmic interpretation of classical natural deduction. In LPAR 190--201. LNAI 624.","DOI":"10.1007\/BFb0013061"},{"key":"e_1_3_2_1_33_1","unstructured":"Pu\u0161chel Emir Walid Taha and Tim Sheard. 2002. Tagless staged interpreters for typed languages. In ICFP 157--166. Pu\u0161chel Emir Walid Taha and Tim Sheard. 2002. Tagless staged interpreters for typed languages. In ICFP 157--166."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796803000315"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840306"},{"key":"e_1_3_2_1_36_1","volume-title":"Jones","author":"S\u00f8rensen Morten Heine B","year":"1994","unstructured":"S\u00f8rensen , Morten Heine B . , Robert Gl\u00fcck , and Neil D . Jones . 1994 . Towards unifying deforestation, supercompilation, partial evaluation, and generalized partial computation. In ESOP, 485--500. LNCS 788. S\u00f8rensen, Morten Heine B., Robert Gl\u00fcck, and Neil D. Jones. 1994. Towards unifying deforestation, supercompilation, partial evaluation, and generalized partial computation. In ESOP, 485--500. LNCS 788."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012984529382"},{"key":"e_1_3_2_1_38_1","unstructured":"Swadi Kedar Walid Taha and Oleg Kiselyov. 2005. Dynamic programming benchmark. http:\/\/www.metaocaml.org\/examples\/dp\/ Swadi Kedar Walid Taha and Oleg Kiselyov. 2005. Dynamic programming benchmark. http:\/\/www.metaocaml.org\/examples\/dp\/"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111542.1111570"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/328690.328697"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/11535409_6"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604134"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000393"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604144"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003469"},{"key":"e_1_3_2_1_46_1","unstructured":"Thiemann Peter and Dirk Dussart. 1999. Partial evaluation for higher-order languages with state. http:\/\/www.informatik.uni-freiburg.de\/~thiemann\/papers\/mlpe.ps.gz. Thiemann Peter and Dirk Dussart. 1999. Partial evaluation for higher-order languages with state. http:\/\/www.informatik.uni-freiburg.de\/~thiemann\/papers\/mlpe.ps.gz."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001560"}],"event":{"name":"PEPM '09: Partial Evaluation and Program Manipulation","location":"Savannah GA USA","acronym":"PEPM '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480945.1480962","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1480945.1480962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:09Z","timestamp":1750253409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480945.1480962"}},"subtitle":["staging with delimited control"],"short-title":[],"issued":{"date-parts":[[2009,1,19]]},"references-count":46,"alternative-id":["10.1145\/1480945.1480962","10.1145\/1480945"],"URL":"https:\/\/doi.org\/10.1145\/1480945.1480962","relation":{},"subject":[],"published":{"date-parts":[[2009,1,19]]},"assertion":[{"value":"2009-01-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}