메뉴 건너뛰기




Volumn 1, Issue 2, 2005, Pages

An operational foundation for delimited continuations in the cps hierarchy

Author keywords

Abstract machines; Delimited continuations; Reduction semantics

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS);

EID: 84991617302     PISSN: None     EISSN: 18605974     Source Type: Journal    
DOI: 10.2168/LMCS-1(2:5)2005     Document Type: Article
Times cited : (56)

References (82)
  • 2
    • 2142844803 scopus 로고    scopus 로고
    • A functional correspondence between call-by-need evaluators and lazy abstract machines
    • Extended version available as the technical report BRICS-RS-04-3
    • Mads Sig Ager, Olivier Danvy, and Jan Midtgaard. A functional correspondence between call-by-need evaluators and lazy abstract machines. Information Processing Letters, 90(5):223-232, 2004. Extended version available as the technical report BRICS-RS-04-3.
    • (2004) Information Processing Letters , vol.90 , Issue.5 , pp. 223-232
    • Ager, M.S.1    Danvy, O.2    Midtgaard, J.3
  • 3
    • 23844517416 scopus 로고    scopus 로고
    • A functional correspondence between monadic eval-uators and abstract machines for languages with computational effects
    • Extended version available as the technical report BRICS RS-04-28
    • Mads Sig Ager, Olivier Danvy, and Jan Midtgaard. A functional correspondence between monadic eval-uators and abstract machines for languages with computational effects. Theoretical Computer Science, 342(1):149-172, 2005. Extended version available as the technical report BRICS RS-04-28.
    • (2005) Theoretical Computer Science , vol.342 , Issue.1 , pp. 149-172
    • Ager, M.S.1    Danvy, O.2    Midtgaard, J.3
  • 4
    • 84949486005 scopus 로고
    • Categorical reconstruction of a reduction-free normalization proof
    • In David H. Pitt, David E. Rydeheard, and Peter Johnstone, editors, number 953 in Lecture Notes in Computer Science, Cambridge, UK, August, Springer-Verlag
    • 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.
    • (1995) Category Theory and Computer Science , pp. 182-199
    • Altenkirch, T.1    Hofmann, M.2    Streicher, T.3
  • 8
    • 1442312256 scopus 로고    scopus 로고
    • Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
    • In Xavier Leroy, editor, Venice, Italy, January, ACM Press
    • 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.
    • (2004) Proceedings of the Thirty-First Annual ACM Symposium on Principles of Programming Languages , pp. 64-76
    • Balat, V.1    Cosmo, R.D.2    Fiore, M.P.3
  • 9
    • 84937432328 scopus 로고    scopus 로고
    • Memoization in type-directed partial evaluation
    • In Don Batory, Charles Consel, and Walid Taha, editors, number 2487 in Lecture Notes in Computer Science, Pittsburgh, Pennsylvania, October, Springer-Verlag
    • 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.
    • (2002) Proceedings of the 2002 ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering , pp. 78-92
    • Balat, V.1    Danvy, O.2
  • 10
    • 84979066482 scopus 로고    scopus 로고
    • Design and correctness of program transforma-tions based on control-flow analysis
    • In Naoki Kobayashi and Benjamin C. Pierce, editors, number 2215 in Lecture Notes in Computer Science, Sendai, Japan, October, Springer-Verlag
    • Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. Design and correctness of program transforma-tions 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.
    • (2001) Theoretical Aspects of Computer Software, 4Th International Symposium, TACS 2001 , pp. 420-447
    • Banerjee, A.1    Heintze, N.2    Riecke, J.G.3
  • 12
    • 0346498671 scopus 로고    scopus 로고
    • Normalization by evaluation
    • In Bernhard Möller and John V. Tucker, editors, number 1546 in Lecture Notes in Computer Science, Berlin, Germany, Springer-Verlag
    • Ulrich Berger, Matthias Eberl, and Helmut Schwichtenberg. Normalization by evaluation. In Bernhard Möller 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.
    • (1998) Prospects for Hardware Foundations (NADA) , pp. 117-137
    • Berger, U.1    Eberl, M.2    Schwichtenberg, H.3
  • 13
    • 0026190524 scopus 로고
    • An inverse of the evaluation functional for typed λ-calculus
    • Gilles Kahn, editor, Amsterdam, The Netherlands, July, IEEE Computer Society Press
    • Ulrich Berger and Helmut Schwichtenberg. An inverse of the evaluation functional for typed λ-calculus. In Gilles Kahn, editor, Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science, pages 203-211, Amsterdam, The Netherlands, July 1991. IEEE Computer Society Press.
    • (1991) Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science , pp. 203-211
    • Berger, U.1    Schwichtenberg, H.2
  • 14
    • 3042982741 scopus 로고
    • Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids
    • Stefano Berardi and Mario Coppo, editors, number 1158 in Lecture Notes in Computer Science, Torino, Italy, June, Springer-Verlag
    • 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.
    • (1995) Types for Proofs and Programs, International Workshop TYPES’95 , pp. 47-61
    • Beylin, I.1    Dybjer, P.2
  • 15
    • 85029446486 scopus 로고    scopus 로고
    • Research Report BRICS RS-05-15, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, May
    • Małgorzata 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.
    • (2005) A concrete framework for environment machines
    • Biernacka, M.1    Danvy, O.2
  • 17
    • 35048897016 scopus 로고    scopus 로고
    • From interpreter to logic engine by defunctionalization
    • In Mau-rice Bruynooghe, editor, number 3018 in Lecture Notes in Computer Science, pages 143-159, Uppsala, Sweden, August, Springer-Verlag
    • Dariusz Biernacki and Olivier Danvy. From interpreter to logic engine by defunctionalization. In Mau-rice 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.
    • (2003) Logic Based Program Synthesis and Transformation, 13Th International Symposium, LOPSTR 2003
    • Biernacki, D.1    Danvy, O.2
  • 19
    • 24144448075 scopus 로고    scopus 로고
    • On the dynamic extent of delimited contin-uations
    • Extended version available as the technical report BRICS RS-05-13
    • Dariusz Biernacki, Olivier Danvy, and Chung-chieh Shan. On the dynamic extent of delimited contin-uations. Information Processing Letters, 96(1):7-17, 2005. Extended version available as the technical report BRICS RS-05-13.
    • (2005) Information Processing Letters , vol.96 , Issue.1 , pp. 7-17
    • Biernacki, D.1    Danvy, O.2    Shan, C.-C.3
  • 21
    • 33645486818 scopus 로고
    • On listing list prefixes
    • January, ACM Press
    • Olivier Danvy. On listing list prefixes. LISP Pointers, 2(3-4):42-46, January 1989. ACM Press.
    • (1989) LISP Pointers , vol.2 , Issue.3-4 , pp. 42-46
    • Danvy, O.1
  • 23
    • 84958660609 scopus 로고    scopus 로고
    • Type-directed partial evaluation
    • In John Hatcliff, Torben A. Mogensen, and Peter Thiemann, editors, number 1706 in Lecture Notes in Computer Science, Copenhagen, Denmark, July, Springer-Verlag
    • Olivier Danvy. Type-directed partial evaluation. In John Hatcliff, Torben A. 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.
    • (1998) Partial Evaluation-Practice and Theory; Proceedings of the 1998 DIKU Summer School , pp. 367-411
    • Danvy, O.1
  • 24
    • 16644402392 scopus 로고    scopus 로고
    • From reduction-based to reduction-free normalization
    • In Sergio Antoy and Yoshihito Toyama, editors, number 124 in Electronic Notes in Theoretical Computer Science, Aachen, Germany, May 2004. Elsevier Science. Invited talk
    • 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.
    • Proceedings of the Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS’04) , pp. 79-100
    • Danvy, O.1
  • 25
    • 16644384769 scopus 로고    scopus 로고
    • On evaluation contexts, continuations, and the rest of the computation
    • In Hayo Thi-elecke, editor, Technical report CSR-04-1, Department of Computer Science, Queen Mary’s College, Venice, Italy, January, Invited talk
    • Olivier Danvy. On evaluation contexts, continuations, and the rest of the computation. In Hayo Thi-elecke, 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.
    • (2004) Proceedings of the Fourth ACM SIGPLAN Workshop on Continuations , pp. 13-23
    • Danvy, O.1
  • 26
    • 24944462071 scopus 로고    scopus 로고
    • A rational deconstruction of Landin’s SECD machine
    • Clemens Grelck, Frank Huch, Greg J. Michaelson, and Phil Trinder, editors, number 3474 in Lecture Notes in Computer Science, Lübeck, Germany, September, Springer-Verlag. Recipient of the 2004 Peter Landin prize. Extended version available as the technical report BRICS-RS-03-33
    • 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übeck, Germany, September 2004. Springer-Verlag. Recipient of the 2004 Peter Landin prize. Extended version available as the technical report BRICS-RS-03-33.
    • (2004) Implementation and Application of Functional Languages, 16Th International Workshop, IFL’04 , pp. 52-71
    • Danvy, O.1
  • 27
    • 0003830722 scopus 로고
    • DIKU Rapport 89/12, DIKU, Computer Science Department, University of Copenhagen, Copenhagen, Denmark, July
    • 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.
    • (1989) A Functional Abstraction of Typed Contexts
    • Danvy, O.1    Filinski, A.2
  • 28
    • 0025566530 scopus 로고    scopus 로고
    • Abstracting control
    • Olivier Danvy and Andrzej Filinski. Abstracting control. In Wand[81], pages 151-160.
    • Wand[81] , pp. 151-160
    • Danvy, O.1    Filinski, A.2
  • 29
    • 84972048107 scopus 로고
    • Representing control, a study of the CPS transformation
    • Olivier Danvy and Andrzej Filinski. Representing control, a study of the CPS transformation. Mathematical Structures in Computer Science, 2(4):361-391, 1992.
    • (1992) Mathematical Structures in Computer Science , vol.2 , Issue.4 , pp. 361-391
    • Danvy, O.1    Filinski, A.2
  • 31
    • 38149079131 scopus 로고    scopus 로고
    • Research Report BRICS RS-04-26, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, November, 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
    • 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.
    • (2004) Refocusing in Reduction Semantics , vol.59 , Issue.4
    • Danvy, O.1    Nielsen, L.R.2
  • 32
    • 84957875880 scopus 로고    scopus 로고
    • An operational investigation of the CPS hierarchy
    • S. Doaitse Swierstra, editor, number 1576 in Lecture Notes in Computer Science, Amsterdam, The Netherlands, March, Springer-Verlag
    • 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.
    • (1999) Proceedings of the Eighth European Symposium on Programming , pp. 224-242
    • Danvy, O.1    Yang, Z.2
  • 34
    • 84886794060 scopus 로고    scopus 로고
    • Normalization and partial evaluation
    • In Gilles Barthe, Peter Dybjer, Luís Pinto, and João Saraiva, editors, Caminha, Portugal, September, Springer-Verlag
    • Peter Dybjer and Andrzej Filinski. Normalization and partial evaluation. In Gilles Barthe, Peter Dybjer, Luís Pinto, and João Saraiva, editors, Applied Semantics-Advanced Lectures, number 2395 in Lecture Notes in Computer Science, pages 137-192, Caminha, Portugal, September 2000. Springer-Verlag.
    • (2000) Applied Semantics-Advanced Lectures, Number 2395 in Lecture Notes in Computer Science , pp. 137-192
    • Dybjer, P.1    Filinski, A.2
  • 37
    • 84991473765 scopus 로고
    • The theory and practice of first-class prompts
    • Jeanne Ferrante and Peter Mager, editors, San Diego, California, January, ACM Press
    • 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.
    • (1988) Proceedings of the Fifteenth Annual ACM Symposium on Principles of Programming Languages , pp. 180-190
    • Felleisen, M.1
  • 39
    • 0002193891 scopus 로고
    • Control operators, the SECD machine, and the λ-calculus
    • Martin Wirsing, editor, Elsevier Science Publishers B.V. (North-Holland), Amsterdam
    • Matthias Felleisen and Daniel P. Friedman. Control operators, the SECD machine, and the λ-calculus. In Martin Wirsing, editor, Formal Description of Programming Concepts III, pages 193-217. Elsevier Science Publishers B.V. (North-Holland), Amsterdam, 1986.
    • (1986) Formal Description of Programming Concepts III , pp. 193-217
    • Felleisen, M.1    Friedman, D.P.2
  • 40
    • 4243544589 scopus 로고
    • Technical Report 216, Computer Science Department, Indiana University, Bloomington, Indiana, February
    • Matthias Felleisen, Daniel P. Friedman, Bruce Duba, and John Merrill. Beyond continuations. Technical Report 216, Computer Science Department, Indiana University, Bloomington, Indiana, February 1987.
    • (1987) Beyond Continuations
    • Felleisen, M.1    Friedman, D.P.2    Duba, B.3    Merrill, J.4
  • 41
    • 84957628015 scopus 로고
    • Abstract continuations: A mathematical semantics for handling full functional jumps
    • Robert (Corky) Cartwright, editor, Snowbird, Utah, July, ACM Press
    • 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.
    • (1988) Proceedings of the 1988 ACM Conference on Lisp and Functional Programming , pp. 52-62
    • Felleisen, M.1    Wand, M.2    Friedman, D.P.3    Duba, B.F.4
  • 44
    • 84888865097 scopus 로고    scopus 로고
    • Normalization by evaluation for the computational lambda-calculus
    • In Samson Abramsky, editor, number 2044 in Lecture Notes in Computer Science, Kraków, Poland, May, Springer-Verlag
    • 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ów, Poland, May 2001. Springer-Verlag.
    • (2001) Typed Lambda Calculi and Applications, 5Th International Conference, TLCA 2001 , pp. 151-165
    • Filinski, A.1
  • 46
    • 0036949119 scopus 로고    scopus 로고
    • Final shift for call/cc: Direct implementation of shift and reset
    • In Simon Peyton Jones, editor, SIGPLAN Notices, Pittsburgh, Pennsylvania, September, 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.
    • (2002) Proceedings of the 2002 ACM SIGPLAN International Conference on Functional Programming , vol.37 , Issue.9 , pp. 271-282
    • Gasbichler, M.1    Sperber, M.2
  • 47
    • 84990616630 scopus 로고
    • Ginsberg. Multivalued logics: A uniform approach to reasoning in artificial intelligence
    • Matthew L. Ginsberg. Multivalued logics: a uniform approach to reasoning in artificial intelligence. Computational Intelligence, 4:265-316, 1988.
    • (1988) Computational Intelligence , vol.4 , pp. 265-316
    • Matthew, L.1
  • 48
    • 0035465993 scopus 로고    scopus 로고
    • The second Futamura projection for type-directed partial evaluation
    • Bernd Grobauer and Zhe Yang. The second Futamura projection for type-directed partial evaluation. Higher-Order and Symbolic Computation, 14(2/3):173-219, 2001.
    • (2001) Higher-Order and Symbolic Computation , vol.14 , Issue.2-3 , pp. 173-219
    • Grobauer, B.1    Yang, Z.2
  • 50
    • 0032396220 scopus 로고    scopus 로고
    • Functional runtime systems within the lambda-sigma calculus
    • Thérèse Hardin, Luc Maranget, and Bruno Pagano. Functional runtime systems within the lambda-sigma calculus. Journal of Functional Programming, 8(2):131-172, 1998.
    • (1998) Journal of Functional Programming , vol.8 , Issue.2 , pp. 131-172
    • Hardin, T.1    Maranget, L.2    Pagano, B.3
  • 51
    • 0012527526 scopus 로고    scopus 로고
    • Two flavors of offline partial evaluation
    • Jieh Hsiang and Atsushi Ohori, editors, number 1538 in Lecture Notes in Computer Science, pages 188-205, Manila, The Philippines, December, Springer-Verlag
    • 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.
    • (1998) Advances in Computing Science-ASIAN’98
    • Helsen, S.1    Thiemann, P.2
  • 54
    • 0023040721 scopus 로고
    • A novel representation of lists and its application to the function “reverse”
    • John Hughes. A novel representation of lists and its application to the function “reverse”. Information Processing Letters, 22(3):141-144, 1986.
    • (1986) Information Processing Letters , vol.22 , Issue.3 , pp. 141-144
    • Hughes, J.1
  • 57
    • 1442283511 scopus 로고    scopus 로고
    • Revised5 report on the algorithmic lan-guage Scheme
    • , editors
    • Richard Kelsey, William Clinger, and Jonathan Rees, editors. Revised5 report on the algorithmic lan-guage Scheme. Higher-Order and Symbolic Computation, 11(1):7-105, 1998.
    • (1998) Higher-Order and Symbolic Computation , vol.11 , Issue.1 , pp. 7-105
    • Kelsey, R.1    Clinger, W.2    Rees, J.3
  • 58
    • 16644362749 scopus 로고    scopus 로고
    • A bicategorical analysis of E-categories
    • Yoshiki Kinoshita. A bicategorical analysis of E-categories. Mathematica Japonica, 47(1):157-169, 1998.
    • (1998) Mathematica Japonica , vol.47 , Issue.1 , pp. 157-169
    • Kinoshita, Y.1
  • 60
    • 0001097061 scopus 로고
    • Landin. The mechanical evaluation of expressions
    • Peter J. Landin. The mechanical evaluation of expressions. The Computer Journal, 6(4):308-320, 1964.
    • (1964) The Computer Journal , vol.6 , Issue.4 , pp. 308-320
    • Peter, J.1
  • 62
    • 9744278403 scopus 로고    scopus 로고
    • Making a fast curry: Push/enter vs. Eval/apply for higher-order languages
    • Simon Marlow and Simon L. Peyton Jones. Making a fast curry: push/enter vs. Eval/apply for higher-order languages. In Fisher [45], pages 4-15.
    • In Fisher [45] , pp. 4-15
    • Marlow, S.1    Jones, S.L.P.2
  • 64
    • 0026188821 scopus 로고
    • Notions of computation and monads
    • Eugenio Moggi. Notions of computation and monads. Information and Computation, 93:55-92, 1991.
    • (1991) Information and Computation , vol.93 , pp. 55-92
    • Moggi, E.1
  • 66
    • 1142282672 scopus 로고
    • Control operators, hierarchies, and pseudo-classical type systems: A-translation at work
    • Olivier Danvy and Carolyn L. Talcott, editors, Technical report STAN-CS-92-1426, Stanford University, San Francisco, California, June
    • 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.
    • (1992) Proceedings of the First ACM SIGPLAN Workshop on Continuations (CW 1992) , pp. 49-72
    • Murthy, C.R.1
  • 67
    • 0013066174 scopus 로고    scopus 로고
    • Research Report BRICS RS-00-47, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, December
    • 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.
    • (2000) A Denotational Investigation of Defunctionalization
    • Nielsen, L.R.1
  • 68
    • 18944377121 scopus 로고
    • Call-by-name, call-by-value and the
    • Gordon D. Plotkin. Call-by-name, call-by-value and the λ-calculus. Theoretical Computer Science, 1:125-159, 1975.
    • (1975) Theoretical Computer Science , vol.1 , pp. 125-159
    • Plotkin, G.D.1
  • 69
    • 0003931061 scopus 로고
    • Technical Report FN-19, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, September
    • 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.
    • (1981) A Structural Approach to Operational Semantics
    • Plotkin, G.D.1
  • 70
  • 71
    • 0032288850 scopus 로고    scopus 로고
    • Definitional interpreters for higher-order programming languages
    • Reprinted from the proceedings of the 25th ACM National Conference (1972), with a foreword
    • John C. Reynolds. Definitional interpreters for higher-order programming languages. Higher-Order and Symbolic Computation, 11(4):363-397, 1998. Reprinted from the proceedings of the 25th ACM National Conference (1972), with a foreword.
    • (1998) Higher-Order and Symbolic Computation , vol.11 , Issue.4 , pp. 363-397
    • Reynolds, J.C.1
  • 72
    • 33745194901 scopus 로고    scopus 로고
    • Shift to control
    • Olin Shivers and Oscar Waddell, editors, Technical report TR600, Computer Science Department, Indiana University, Snowbird, Utah, September
    • 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.
    • (2004) Proceedings of the 2004 ACM SIGPLAN Workshop on Scheme and Functional Programming
    • Shan, C.-C.1
  • 74
    • 0012609327 scopus 로고
    • Control delimiters and their hierarchies
    • Dorai Sitaram and Matthias Felleisen. Control delimiters and their hierarchies. Lisp and Symbolic Computation, 3(1):67-99, January 1990.
    • (1990) Lisp and Symbolic Computation , vol.3 , Issue.1 , pp. 67-99
    • Sitaram, D.1    Felleisen, M.2
  • 75
    • 0025532153 scopus 로고    scopus 로고
    • Reasoning with continuations II: Full abstraction for models of control
    • Dorai Sitaram and Matthias Felleisen. Reasoning with continuations II: Full abstraction for models of control. In Wand [81], pages 161-175.
    • Wand [81] , pp. 161-175
    • Sitaram, D.1    Felleisen, M.2
  • 76
    • 0004219535 scopus 로고
    • Master’s thesis, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts, May, Technical report AI-TR-474
    • 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.
    • (1978) Rabbit: A Compiler for Scheme
    • Steele, G.L.1
  • 77
    • 1142294676 scopus 로고    scopus 로고
    • An implementation of transparent migration on standard Scheme
    • In Matthias Felleisen, editor, Technical Report 00-368, Rice University, Montréal, Canada, September
    • 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éal, Canada, September 2000.
    • (2000) Proceedings of the Workshop on Scheme and Functional Programming , pp. 61-64
    • Sumii, E.1
  • 78
    • 0035466055 scopus 로고    scopus 로고
    • A hybrid approach to online and offline partial evaluation
    • Eijiro Sumii and Naoki Kobayashi. A hybrid approach to online and offline partial evaluation. Higher-Order and Symbolic Computation, 14(2/3):101-142, 2001.
    • (2001) Higher-Order and Symbolic Computation , vol.14 , Issue.2-3 , pp. 101-142
    • Sumii, E.1    Kobayashi, N.2
  • 79
    • 0000055491 scopus 로고    scopus 로고
    • Combinators for program generation
    • Peter Thiemann. Combinators for program generation. Journal of Functional Programming, 9(5):483-525, 1999.
    • (1999) Journal of Functional Programming , vol.9 , Issue.5 , pp. 483-525
    • Thiemann, P.1
  • 80
    • 3643106978 scopus 로고
    • Monads and composable continuations
    • January
    • Philip Wadler. Monads and composable continuations. LISP and Symbolic Computation, 7(1):39-55, January 1994.
    • (1994) LISP and Symbolic Computation , vol.7 , Issue.1 , pp. 39-55
    • Wadler, P.1
  • 82
    • 0035728958 scopus 로고    scopus 로고
    • From syntactic theories to interpreters: Automating proofs of unique decomposition
    • Yong Xiao, Amr Sabry, and Zena M. Ariola. From syntactic theories to interpreters: Automating proofs of unique decomposition. Higher-Order and Symbolic Computation, 14(4):387-409, 2001.
    • (2001) Higher-Order and Symbolic Computation , vol.14 , Issue.4 , pp. 387-409
    • Xiao, Y.1    Sabry, A.2    Ariola, Z.M.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.