{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:36:32Z","timestamp":1753889792153,"version":"3.41.2"},"reference-count":80,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2005,11,8]],"date-time":"2005-11-08T00:00:00Z","timestamp":1131408000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/assumed-1991-2003"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We present an abstract machine and a reduction semantics for the lambda-calculus extended with control operators that give access to delimited continuations in the CPS hierarchy. The abstract machine is derived from an evaluator in continuation-passing style (CPS); the reduction semantics (i.e., a small-step operational semantics with an explicit representation of evaluation contexts) is constructed from the abstract machine; and the control operators are the shift and reset family. We also present new applications of delimited continuations in the CPS hierarchy: finding list prefixes and normalization by evaluation for a hierarchical language of units and products.<\/jats:p>","DOI":"10.2168\/lmcs-1(2:5)2005","type":"journal-article","created":{"date-parts":[[2006,11,23]],"date-time":"2006-11-23T09:24:52Z","timestamp":1164273892000},"source":"Crossref","is-referenced-by-count":29,"title":["An Operational Foundation for Delimited Continuations in the CPS Hierarchy"],"prefix":"10.46298","volume":"Volume 1, Issue 2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8094-0980","authenticated-orcid":false,"given":"Malgorzata","family":"Biernacka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1477-4635","authenticated-orcid":false,"given":"Dariusz","family":"Biernacki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Danvy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"25203","published-online":{"date-parts":[[2005,11,8]]},"reference":[{"key":"10.2168\/LMCS-1(2:5)2005_Ager-al:PPDP03","doi-asserted-by":"crossref","unstructured":"Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, and Jan Midtgaard. A functional correspondence between evaluators and abstract machines. In Dale Miller, editor,Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'03), pages 8-19. ACM Press, August 2003.","DOI":"10.1145\/888251.888254"},{"issue":"5","key":"10.2168\/LMCS-1(2:5)2005_Ager-al:IPL04","first-page":"223","volume":"90","author":"Mads Sig Ager, Olivier Danvy, and Jan Mi","year":"2004","journal-title":"Information Processing Letters \\newblock Extended version available as the technical report BRICS-RS-04-3"},{"issue":"1","key":"10.2168\/LMCS-1(2:5)2005_Ager-al:TCS05","first-page":"149","volume":"342","author":"Mads Sig Ager, Olivier Danvy, and Jan Mi","year":"2005","journal-title":"Theoretical Computer Science \\newblock Extended version available as the technical report BRICS RS-04-28"},{"key":"10.2168\/LMCS-1(2:5)2005_Altenkirch-Hofmann-Streicher:CTCS95","doi-asserted-by":"crossref","unstructured":"Thorsten Altenkirch, Martin Hofmann, and Thomas Streicher. Categorical reconstruction of a reduction-free normalization proof. In David H. Pitt, David E. Rydeheard, and Peter Johnstone, editors,Category Theory and Computer Science, number 953 in Lecture Notes in Computer Science, pages 182-199, Cambridge, UK, August 1995. Springer-Verlag.","DOI":"10.1007\/3-540-60164-3_27"},{"key":"10.2168\/LMCS-1(2:5)2005_Ariola-al:ICFP04","doi-asserted-by":"crossref","unstructured":"Zena M. Ariola, Hugo Herbelin, and Amr Sabry. A type-theoretic foundation of continuations and prompts. In Fisher \\citeICFP:04, pages 40-53.","DOI":"10.1145\/1016850.1016860"},{"key":"10.2168\/LMCS-1(2:5)2005_Asai:PEPM02","doi-asserted-by":"crossref","unstructured":"Kenichi Asai. Online partial evaluation for shift and reset. In Peter Thiemann, editor,Proceedings of the 2002 ACM{SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2002)}, SIGPLAN Notices, Vol. 37, No 3, pages 19-30, Portland, Oregon, March 2002. ACM Press.","DOI":"10.1145\/503032.503034"},{"key":"10.2168\/LMCS-1(2:5)2005_Asai:PEPM04","doi-asserted-by":"crossref","unstructured":"Kenichi Asai. Offline partial evaluation for shift and reset. In Nevin Heintze and Peter Sestoft, editors,Proceedings of the 2004 ACM{SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2004)}, pages 3-14, Verona, Italy, August 2003. ACM Press.","DOI":"10.1145\/1014007.1014009"},{"key":"10.2168\/LMCS-1(2:5)2005_Balat-al:POPL04","doi-asserted-by":"crossref","unstructured":"Vincent Balat, Roberto Di Cosmo, and Marcelo P. Fiore. Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. In Xavier Leroy, editor,Proceedings of the Thirty-First Annual ACM Symposium on Principles of Programming Languages, pages 64-76, Venice, Italy, January 2004. ACM Press.","DOI":"10.1145\/964001.964007"},{"key":"10.2168\/LMCS-1(2:5)2005_Balat-Danvy:GPCE02","doi-asserted-by":"crossref","unstructured":"Vincent Balat and Olivier Danvy. Memoization in type-directed partial evaluation. In Don Batory, Charles Consel, and Walid Taha, editors,Proceedings of the 2002 ACM SIGPLAN\/SIGSOFT Conference on Generative Programming and Component Engineering, number 2487 in Lecture Notes in Computer Science, pages 78-92, Pittsburgh, Pennsylvania, October 2002. Springer-Verlag.","DOI":"10.1007\/3-540-45821-2_5"},{"key":"10.2168\/LMCS-1(2:5)2005_Banerjee-al:TACS01","doi-asserted-by":"crossref","unstructured":"Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. Design and correctness of program transformations based on control-flow analysis. In Naoki Kobayashi and Benjamin C. Pierce, editors,Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, number 2215 in Lecture Notes in Computer Science, pages 420-447, Sendai, Japan, October 2001. Springer-Verlag.","DOI":"10.1007\/3-540-45500-0_21"},{"key":"10.2168\/LMCS-1(2:5)2005_Belnap:CAP76","unstructured":"Nuel D. Belnap. How a computer should think. In Gilbert Ryle, editor,Proceedings of the Oxford International Symposium on Contemporary Aspects of Philosophy, pages 30-56, Oxford, England, 1976. Oriel Press."},{"key":"10.2168\/LMCS-1(2:5)2005_Berger-al:NADA98","doi-asserted-by":"crossref","unstructured":"Ulrich Berger, Matthias Eberl, and Helmut Schwichtenberg. Normalization by evaluation. In Bernhard M\u00f6ller and John V. Tucker, editors,Prospects for hardware foundations (NADA), number 1546 in Lecture Notes in Computer Science, pages 117-137, Berlin, Germany, 1998. Springer-Verlag.","DOI":"10.1007\/3-540-49254-2_4"},{"key":"10.2168\/LMCS-1(2:5)2005_Berger-Schwichtenberg:LICS91","doi-asserted-by":"crossref","unstructured":"Ulrich Berger and Helmut Schwichtenberg. An inverse of the evaluation functional for typed\u03bb-calculus. In Gilles Kahn, editor,Proceedings of the Sixth Annual IEEESymposium on Logic in Computer Science, pages 203-211, Amsterdam, The Netherlands, July 1991. IEEE Computer Society Press.","DOI":"10.1109\/LICS.1991.151645"},{"key":"10.2168\/LMCS-1(2:5)2005_Beylin-Dybjer:TYPES95","doi-asserted-by":"crossref","unstructured":"Ilya Beylin and Peter Dybjer. Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids. In Stefano Berardi and Mario Coppo, editors,Types for Proofs and Programs, International Workshop TYPES'95, number 1158 in Lecture Notes in Computer Science, pages 47-61, Torino, Italy, June 1995. Springer-Verlag.","DOI":"10.1007\/3-540-61780-9_61"},{"key":"10.2168\/LMCS-1(2:5)2005_Biernacka-Danvy:RS-05-15","doi-asserted-by":"crossref","unstructured":"Ma\\lgorzata Biernacka and Olivier Danvy. A concrete framework for environment machines. Research Report BRICS RS-05-15, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, May 2005.","DOI":"10.7146\/brics.v12i15.21881"},{"key":"10.2168\/LMCS-1(2:5)2005_Biernacka-Danvy:RS-05-22","doi-asserted-by":"crossref","unstructured":"Ma\\lgorzata Biernacka and Olivier Danvy. A syntactic correspondence between context-sensitive calculi and abstract machines. Research Report BRICS RS-05-22, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, July 2005.","DOI":"10.7146\/brics.v12i22.21888"},{"key":"10.2168\/LMCS-1(2:5)2005_Biernacki-Danvy:LOPSTR03","doi-asserted-by":"crossref","unstructured":"Dariusz Biernacki and Olivier Danvy. From interpreter to logic engine by defunctionalization. In Maurice Bruynooghe, editor,Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003, number 3018 in Lecture Notes in Computer Science, pages 143-159, Uppsala, Sweden, August 2003. Springer-Verlag.","DOI":"10.7146\/brics.v10i25.21954"},{"key":"10.2168\/LMCS-1(2:5)2005_Biernacki-al:RS-05-16","doi-asserted-by":"crossref","unstructured":"Dariusz Biernacki, Olivier Danvy, and Kevin Millikin. A dynamic continuation-passing style for dynamic delimited continuations. Research Report BRICS RS-05-16, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, May 2005.","DOI":"10.7146\/brics.v12i16.21882"},{"issue":"1","key":"10.2168\/LMCS-1(2:5)2005_Biernacki-al:IPL05","first-page":"7","volume":"96","author":"Dariusz Biernacki, Olivier Danvy, and Ch","year":"2005","journal-title":"Information Processing Letters \\newblock Extended version available as the technical report BRICS RS-05-13"},{"key":"10.2168\/LMCS-1(2:5)2005_Coquand-Dybjer:MSCS97","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129596002150"},{"key":"10.2168\/LMCS-1(2:5)2005_Danvy:LP89-with-publisher","doi-asserted-by":"publisher","DOI":"10.1145\/1317258.1317263"},{"key":"10.2168\/LMCS-1(2:5)2005_Danvy:POPL96","doi-asserted-by":"crossref","unstructured":"Olivier Danvy. Type-directed partial evaluation. In Guy L. Steele Jr., editor,Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages, pages 242-257, St. Petersburg Beach, Florida, January 1996. ACM Press.","DOI":"10.1145\/237721.237784"},{"key":"10.2168\/LMCS-1(2:5)2005_Danvy:PEPT98","doi-asserted-by":"crossref","unstructured":"Olivier Danvy. Type-directed partial evaluation. In John Hatcliff, Torben \\AE. Mogensen, and Peter Thiemann, editors,Partial Evaluation - Practice and Theory; Proceedings of the 1998 DIKU Summer School, number 1706 in Lecture Notes in Computer Science, pages 367-411, Copenhagen, Denmark, July 1998. Springer-Verlag.","DOI":"10.1007\/3-540-47018-2_16"},{"key":"10.2168\/LMCS-1(2:5)2005_Danvy:WRS04","doi-asserted-by":"crossref","unstructured":"Olivier Danvy. From reduction-based to reduction-free normalization. In Sergio Antoy and Yoshihito Toyama, editors,Proceedings of the Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04), number 124 in Electronic Notes in Theoretical Computer Science, pages 79-100, Aachen, Germany, May 2004. Elsevier Science. Invited talk.","DOI":"10.7146\/brics.v11i30.21855"},{"key":"10.2168\/LMCS-1(2:5)2005_Danvy:CW04","unstructured":"Olivier Danvy. On evaluation contexts, continuations, and the rest of the computation. In Hayo Thielecke, editor,Proceedings of the Fourth ACM SIGPLAN Workshop on Continuations, Technical report CSR-04-1, Department of Computer Science, Queen Mary's College, pages 13-23, Venice, Italy, January 2004. Invited talk."},{"key":"10.2168\/LMCS-1(2:5)2005_Danvy:IFL04","doi-asserted-by":"crossref","unstructured":"Olivier Danvy. A rational deconstruction of Landin's SECD machine. In Clemens Grelck, Frank Huch, Greg J. Michaelson, and Phil Trinder, editors,Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, number 3474 in Lecture Notes in Computer Science, pages 52-71, L\u00fcbeck, Germany, September 2004. Springer-Verlag. Recipient of the 2004 Peter Landin prize. Extended version available as the technical report BRICS-RS-03-33.","DOI":"10.1007\/11431664_4"},{"key":"10.2168\/LMCS-1(2:5)2005_Danvy-Filinski:DIKU89","unstructured":"Olivier Danvy and Andrzej Filinski. A functional abstraction of typed contexts. DIKU Rapport 89\/12, DIKU, Computer Science Department, University of Copenhagen, Copenhagen, Denmark, July 1989."},{"key":"10.2168\/LMCS-1(2:5)2005_Danvy-Filinski:LFP90","doi-asserted-by":"crossref","unstructured":"Olivier Danvy and Andrzej Filinski. Abstracting control. In Wand \\citeLFP:90, pages 151-160.","DOI":"10.1145\/91556.91622"},{"key":"10.2168\/LMCS-1(2:5)2005_Danvy-Filinski:MSCS92-one","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001535"},{"key":"10.2168\/LMCS-1(2:5)2005_Danvy-Nielsen:PPDP01","doi-asserted-by":"crossref","unstructured":"Olivier Danvy and Lasse R. Nielsen. Defunctionalization at work. In Harald S\u00f8ndergaard, editor,Proceedings of the Third International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'01), pages 162-174, Firenze, Italy, September 2001. ACM Press. Extended version available as the technical report BRICS RS-01-23.","DOI":"10.1145\/773184.773202"},{"key":"10.2168\/LMCS-1(2:5)2005_Danvy-Nielsen:RS-04-26","doi-asserted-by":"crossref","unstructured":"Olivier Danvy and Lasse R. Nielsen. Refocusing in reduction semantics. Research Report BRICS RS-04-26, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, November 2004. A preliminary version appears in the informal proceedings of the Second International Workshop on Rule-Based Programming (RULE 2001), Electronic Notes in Theoretical Computer Science, Vol. 59.4.","DOI":"10.7146\/brics.v11i26.21851"},{"key":"10.2168\/LMCS-1(2:5)2005_Danvy-Yang:ESOP99","doi-asserted-by":"crossref","unstructured":"Olivier Danvy and Zhe Yang. An operational investigation of the CPS hierarchy. In S. Doaitse Swierstra, editor,Proceedings of the Eighth European Symposium on Programming, number 1576 in Lecture Notes in Computer Science, pages 224-242, Amsterdam, The Netherlands, March 1999. Springer-Verlag.","DOI":"10.1007\/3-540-49099-X_15"},{"key":"10.2168\/LMCS-1(2:5)2005_Draves:ICFP97","doi-asserted-by":"crossref","unstructured":"Scott Draves. Implementing bit-addressing with specialization. In Mads Tofte, editor,Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming, pages 239-250, Amsterdam, The Netherlands, June 1997. ACM Press.","DOI":"10.1145\/258948.258971"},{"key":"10.2168\/LMCS-1(2:5)2005_Dybjer-Filinski:APPSEM00","doi-asserted-by":"crossref","unstructured":"Peter Dybjer and Andrzej Filinski. Normalization and partial evaluation. In Gilles Barthe, Peter Dybjer, Lu\u00eds Pinto, and Jo\u00e3o Saraiva, editors,Applied Semantics - Advanced Lectures, number 2395 in Lecture Notes in Computer Science, pages 137-192, Caminha, Portugal, September 2000. Springer-Verlag.","DOI":"10.1007\/3-540-45699-6_4"},{"key":"10.2168\/LMCS-1(2:5)2005_Dybvig-al:TR05","unstructured":"R. Kent Dybvig, Simon Peyton-Jones, and Amr Sabry. A monadic framework for subcontinuations. Technical Report 615, Computer Science Department, Indiana University, Bloomington, Indiana, June 2005."},{"key":"10.2168\/LMCS-1(2:5)2005_Felleisen:PhD","unstructured":"Matthias Felleisen.The Calculi of\u03bb-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages. PhD thesis, Computer Science Department, Indiana University, Bloomington, Indiana, August 1987."},{"key":"10.2168\/LMCS-1(2:5)2005_Felleisen:POPL88","doi-asserted-by":"crossref","unstructured":"Matthias Felleisen. The theory and practice of first-class prompts. In Jeanne Ferrante and Peter Mager, editors,Proceedings of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, pages 180-190, San Diego, California, January 1988. ACM Press.","DOI":"10.1145\/73560.73576"},{"key":"10.2168\/LMCS-1(2:5)2005_Felleisen-Flatt:LN","unstructured":"Matthias Felleisen and Matthew Flatt. Programming languages and lambda calculi. Unpublished lecture notes. \\small\\url{http:\/\/www.ccs.neu.edu\/home\/matthias\/3810-w02\/readings.html}, 1989-2003."},{"key":"10.2168\/LMCS-1(2:5)2005_Felleisen-Friedman:FDPC3","unstructured":"Matthias Felleisen and Daniel P. Friedman. Control operators, the SECD machine, and the\u03bb-calculus. In Martin Wirsing, editor,Formal Description of Programming Concepts III, pages 193-217. Elsevier Science Publishers B.V. (North-Holland), Amsterdam, 1986."},{"key":"10.2168\/LMCS-1(2:5)2005_Felleisen-al:TR87","unstructured":"Matthias Felleisen, Daniel P. Friedman, Bruce Duba, and John Merrill. Beyond continuations. Technical Report 216, Computer Science Department, Indiana University, Bloomington, Indiana, February 1987."},{"key":"10.2168\/LMCS-1(2:5)2005_Felleisen-al:LFP88","doi-asserted-by":"crossref","unstructured":"Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, and Bruce F. Duba. Abstract continuations: A mathematical semantics for handling full functional jumps. In Robert (Corky) Cartwright, editor,Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, pages 52-62, Snowbird, Utah, July 1988. ACM Press.","DOI":"10.1145\/62678.62684"},{"key":"10.2168\/LMCS-1(2:5)2005_Filinski:POPL94","doi-asserted-by":"crossref","unstructured":"Andrzej Filinski. Representing monads. In Hans-J. Boehm, editor,Proceedings of the Twenty-First Annual ACM Symposium on Principles of Programming Languages, pages 446-457, Portland, Oregon, January 1994. ACM Press.","DOI":"10.1145\/174675.178047"},{"key":"10.2168\/LMCS-1(2:5)2005_Filinski:POPL99","doi-asserted-by":"crossref","unstructured":"Andrzej Filinski. Representing layered monads. In Alex Aiken, editor,Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Programming Languages, pages 175-188, San Antonio, Texas, January 1999. ACM Press.","DOI":"10.1145\/292540.292557"},{"key":"10.2168\/LMCS-1(2:5)2005_Filinski:TLCA01","doi-asserted-by":"crossref","unstructured":"Andrzej Filinski. Normalization by evaluation for the computational lambda-calculus. In Samson Abramsky, editor,Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, number 2044 in Lecture Notes in Computer Science, pages 151-165, Krak\u00f3w, Poland, May 2001. Springer-Verlag.","DOI":"10.1007\/3-540-45413-6_15"},{"key":"10.2168\/LMCS-1(2:5)2005_ICFP:04","doi-asserted-by":"crossref","unstructured":"Kathleen Fisher, editor.Proceedings of the 2004 ACM SIGPLAN International Conference on Functional Programming, Snowbird, Utah, September 2004. ACM Press. Martin Gasbichler and Michael Sperber. Final shift for call\/cc: direct implementation of shift and reset. In Simon Peyton Jones, editor,Proceedings of the 2002 ACM SIGPLAN International Conference on Functional Programming, SIGPLAN Notices, Vol. 37, No. 9, pages 271-282, Pittsburgh, Pennsylvania, September 2002. ACM Press.","DOI":"10.1145\/583852.581504"},{"key":"10.2168\/LMCS-1(2:5)2005_Ginsberg:CI88","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1988.tb00280.x"},{"key":"10.2168\/LMCS-1(2:5)2005_Grobauer-Yang:HOSC01","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012992731199"},{"key":"10.2168\/LMCS-1(2:5)2005_Gunter-al:FPCA95","doi-asserted-by":"crossref","unstructured":"Carl Gunter, Didier R\u00e9my, and Jon G. Riecke. A generalization of exceptions and control in ML-like languages. In Simon Peyton Jones, editor,Proceedings of the Seventh ACM Conference on Functional Programming and Computer Architecture, pages 12-23, La Jolla, California, June 1995. ACM Press.","DOI":"10.1145\/224164.224173"},{"key":"10.2168\/LMCS-1(2:5)2005_Hardin-al:JFP98","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796898002986"},{"key":"10.2168\/LMCS-1(2:5)2005_Helsen-Thiemann:ASIAN98","doi-asserted-by":"crossref","unstructured":"Simon Helsen and Peter Thiemann. Two flavors of offline partial evaluation. In Jieh Hsiang and Atsushi Ohori, editors,Advances in Computing Science - ASIAN'98, number 1538 in Lecture Notes in Computer Science, pages 188-205, Manila, The Philippines, December 1998. Springer-Verlag.","DOI":"10.1007\/3-540-49366-2_15"},{"key":"10.2168\/LMCS-1(2:5)2005_Hieb-Dybvig:PPoPP90","doi-asserted-by":"crossref","unstructured":"Robert Hieb and R. Kent Dybvig. Continuations and concurrency. InProceedings of the Second ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, SIGPLAN Notices, Vol. 25, No. 3, pages 128-136, Seattle, Washington, March 1990. ACM Press.","DOI":"10.1145\/99163.99178"},{"issue":"4","key":"10.2168\/LMCS-1(2:5)2005_Hieb-al:LaSC93","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF01806308","volume":"5","author":"Robert Hieb, R. Kent Dybvig, and Claude","year":"1993","journal-title":"Lisp and Symbolic Computation"},{"key":"10.2168\/LMCS-1(2:5)2005_Hughes:IPL86","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(86)90059-1"},{"key":"10.2168\/LMCS-1(2:5)2005_Kameyama:CSL04","doi-asserted-by":"crossref","unstructured":"Yukiyoshi Kameyama. Axioms for delimited continuations in the CPS hierarchy. In Jerzy Marcinkowski and Andrzej Tarlecki, editors,Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Proceedings, volume 3210 ofLecture Notes in Computer Science, pages 442-457, Karpacz, Poland, September 2004. Springer.","DOI":"10.1007\/978-3-540-30124-0_34"},{"key":"10.2168\/LMCS-1(2:5)2005_Kameyama-Hasegawa:ICFP03","doi-asserted-by":"crossref","unstructured":"Yukiyoshi Kameyama and Masahito Hasegawa. A sound and complete axiomatization of delimited continuations. In Olin Shivers, editor,Proceedings of the 2003 ACM SIGPLAN International Conference on Functional Programming, pages 177-188, Uppsala, Sweden, August 2003. ACM Press.","DOI":"10.1145\/944705.944722"},{"key":"10.2168\/LMCS-1(2:5)2005_Kelsey-al:R5RS","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010051815785"},{"issue":"1","key":"10.2168\/LMCS-1(2:5)2005_Kinoshita:MJ98","first-page":"157","volume":"47","author":"Yoshiki Kinoshita","year":"1998","journal-title":"Mathematica Japonica"},{"key":"10.2168\/LMCS-1(2:5)2005_Kiselyov:TR05","unstructured":"Oleg Kiselyov. How to remove a dynamic prompt: Static and dynamic delimited continuation operators are equally expressible. Technical Report 611, Computer Science Department, Indiana University, Bloomington, Indiana, March 2005."},{"issue":"4","key":"10.2168\/LMCS-1(2:5)2005_Landin:CJ64","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"Peter J. Landin","year":"1964","journal-title":"The Computer Journal"},{"key":"10.2168\/LMCS-1(2:5)2005_Lawall-Danvy:LFP94","doi-asserted-by":"crossref","unstructured":"Julia L. Lawall and Olivier Danvy. Continuation-based partial evaluation. In Carolyn L. Talcott, editor,Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, LISP Pointers, Vol. VII, No. 3, pages 227-238, Orlando, Florida, June 1994. ACM Press.","DOI":"10.1145\/182409.182483"},{"key":"10.2168\/LMCS-1(2:5)2005_Marlow-al:ICFP04","doi-asserted-by":"crossref","unstructured":"Simon Marlow and Simon L. Peyton Jones. Making a fast curry: push\/enter vs. eval\/apply for higher-order languages. In Fisher \\citeICFP:04, pages 4-15.","DOI":"10.1145\/1016848.1016856"},{"key":"10.2168\/LMCS-1(2:5)2005_Martin-Loef:SLS73","doi-asserted-by":"crossref","unstructured":"Per Martin-L\u00f6f. About models for intuitionistic type theories and the notion of definitional equality. InProceedings of the Third Scandinavian Logic Symposium (1972), volume 82 ofStudies in Logic and the Foundation of Mathematics, pages 81-109. North-Holland, 1975.","DOI":"10.1016\/S0049-237X(08)70727-4"},{"key":"10.2168\/LMCS-1(2:5)2005_Moggi:IaC91","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"10.2168\/LMCS-1(2:5)2005_Moreau-Queinnec:PLILP94","doi-asserted-by":"crossref","unstructured":"Luc Moreau and Christian Queinnec. Partial continuations as the difference of continuations, a duumvirate of control operators. In Manuel Hermenegildo and Jaan Penjam, editors,Sixth International Symposium on Programming Language Implementation and Logic Programming, number 844 in Lecture Notes in Computer Science, pages 182-197, Madrid, Spain, September 1994. Springer-Verlag.","DOI":"10.1007\/3-540-58402-1_14"},{"key":"10.2168\/LMCS-1(2:5)2005_Murthy:CW92","unstructured":"Chethan R. Murthy. Control operators, hierarchies, and pseudo-classical type systems: A-translation at work. In Olivier Danvy and Carolyn L. Talcott, editors,Proceedings of the First ACM SIGPLAN Workshop on Continuations (CW 1992), Technical report STAN-CS-92-1426, Stanford University, pages 49-72, San Francisco, California, June 1992."},{"key":"10.2168\/LMCS-1(2:5)2005_Nielsen:RS-00-47","doi-asserted-by":"crossref","unstructured":"Lasse R. Nielsen. A denotational investigation of defunctionalization. Research Report BRICS RS-00-47, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, December 2000.","DOI":"10.7146\/brics.v7i47.20214"},{"key":"10.2168\/LMCS-1(2:5)2005_Plotkin:TCS75","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(75)90017-1"},{"key":"10.2168\/LMCS-1(2:5)2005_Plotkin:TR81","unstructured":"Gordon D. Plotkin. A structural approach to operational semantics. Technical Report FN-19, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, September 1981."},{"key":"10.2168\/LMCS-1(2:5)2005_Queinnec-Serpette:POPL91","doi-asserted-by":"crossref","unstructured":"Christian Queinnec and Bernard Serpette. A dynamic extent control operator for partial continuations. In Robert (Corky) Cartwright, editor,Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, pages 174-184, Orlando, Florida, January 1991. ACM Press.","DOI":"10.1145\/99583.99610"},{"issue":"4","key":"10.2168\/LMCS-1(2:5)2005_Reynolds:HOSC98","first-page":"363","volume":"11","author":"John C. Reynolds","year":"1998","journal-title":"Higher-Order and Symbolic Computation \\newblock Reprinted from the proceedings of the 25th ACM National Conference (1972), with a foreword"},{"key":"10.2168\/LMCS-1(2:5)2005_Shan:Scheme04","unstructured":"Chung-chieh Shan. Shift to control. In Olin Shivers and Oscar Waddell, editors,Proceedings of the 2004 ACM SIGPLAN Workshop on Scheme and Functional Programming, Technical report TR600, Computer Science Department, Indiana University, Snowbird, Utah, September 2004."},{"key":"10.2168\/LMCS-1(2:5)2005_Sitaram:PhD","unstructured":"Dorai Sitaram.Models of Control and their Implications for Programming Language Design. PhD thesis, Computer Science Department, Rice University, Houston, Texas, April 1994."},{"key":"10.2168\/LMCS-1(2:5)2005_Sitaram-Felleisen:LaSC90","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806126"},{"key":"10.2168\/LMCS-1(2:5)2005_Sitaram-Felleisen:LFP90","doi-asserted-by":"crossref","unstructured":"Dorai Sitaram and Matthias Felleisen. Reasoning with continuations II: Full abstraction for models of control. In Wand \\citeLFP:90, pages 161-175.","DOI":"10.1145\/91556.91626"},{"key":"10.2168\/LMCS-1(2:5)2005_Steele:MS","unstructured":"Guy L. Steele Jr. Rabbit: A compiler for Scheme. Master's thesis, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts, May 1978. Technical report AI-TR-474."},{"key":"10.2168\/LMCS-1(2:5)2005_Sumii:Scheme00","unstructured":"Eijiro Sumii. An implementation of transparent migration on standard Scheme. In Matthias Felleisen, editor,Proceedings of the Workshop on Scheme and Functional Programming, Technical Report 00-368, Rice University, pages 61-64, Montr\u00e9al, Canada, September 2000."},{"key":"10.2168\/LMCS-1(2:5)2005_Sumii-Kobayashi:HOSC01","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012984529382"},{"key":"10.2168\/LMCS-1(2:5)2005_Thiemann:JFP99","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003469"},{"key":"10.2168\/LMCS-1(2:5)2005_Wadler:LaSC94-one","doi-asserted-by":"publisher","DOI":"10.1007\/BF01019944"},{"key":"10.2168\/LMCS-1(2:5)2005_LFP:90","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014408032446"}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/2269\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/2269\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T02:18:35Z","timestamp":1736648315000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/2269"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11,8]]},"references-count":80,"URL":"https:\/\/doi.org\/10.2168\/lmcs-1(2:5)2005","relation":{"is-same-as":[{"id-type":"arxiv","id":"cs\/0508048","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.cs\/0508048","asserted-by":"subject"}],"is-referenced-by":[{"id-type":"doi","id":"10.1007\/s10990-007-9010-4","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2005,11,8]]},"article-number":"2269"}}