{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:26Z","timestamp":1751983646224},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633983"},{"type":"electronic","value":"9783540695370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0033848","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T02:27:37Z","timestamp":1134268057000},"page":"241-258","source":"Crossref","is-referenced-by-count":3,"title":["Reflections on reflections"],"prefix":"10.1007","author":[{"given":"Gilles","family":"Barthel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Morten Heine","family":"S\u00f8rensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,21]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511609619"},{"key":"16_CR2","unstructured":"Gilles Barthe, John Hatcliff, and Morten Heine S\u00f8rensen. Reflections on Reflections (full version). Forthcoming DIKU Technical Report. Available at http:\/\/vww.cs.okstate.edu\/-hatclif."},{"key":"16_CR3","volume-title":"Strictness Analysis of Lazy Functional Programs","author":"P. N. Benton","year":"1995","unstructured":"P. N. Benton. Strictness Analysis of Lazy Functional Programs. PhD thesis, Computer Laboratory, University of Cambridge, Cambridge, England, 1995."},{"key":"16_CR4","series-title":"Technical report Doc 92\/20","volume-title":"Proving the correctness of compiler optimisations based on a global program analysis","author":"G. Burn","year":"1992","unstructured":"Geoffrey Burn and Daniel Le M\u00e9tayer. Proving the correctness of compiler optimisations based on a global program analysis. Technical report Doc 92\/20, Department of Computing, Imperial College of Science, Technology and Medicine, London, England, 1992."},{"issue":"3","key":"16_CR5","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0167-6423(94)00003-4","volume":"22","author":"O. Danvy","year":"1994","unstructured":"Olivier Danvy. Back to direct style. Science of Computer Programming, 22(3):183\u2013195, 1994. Special Issue on ESOP'92, the Fourth European Symposium on Programming, Rennes, February 1992.","journal-title":"Science of Computer Programming"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Olivier Danvy and Andrzej Filinski. Representing control, a study of the CPS transformation. Mathematical Structures in Computer Science, Vol. 2, No. 4, pages 361\u2013391. Cambridge University Press, December 1992.","DOI":"10.1017\/S0960129500001535"},{"issue":"3","key":"16_CR7","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1145\/151640.151641","volume":"1","author":"O. Danvy","year":"1993","unstructured":"Olivier Danvy and John Hatcliff. CPS transformation after strictness analysis. ACM Letters on Programming Languages and Systems, 1(3):195\u2013212, 1993.","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"16_CR8","unstructured":"B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 1990."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Michael J. Fischer. Lambda-calculus schemata. In Talcott [28]. An earlier version appeared in the Proceedings of the ACM Conference on Proving Assertions about Programs, SIGPLAN Notices, Vol. 7, No. 1, January 1972.","DOI":"10.1145\/800235.807077"},{"key":"16_CR10","series-title":"SIGPLAN Notices","first-page":"237","volume-title":"Proceedings of the ACM SIGPLAN'93 Conference on Programming Languages Design and Implementation","author":"C. Flanagan","year":"1993","unstructured":"Cormac Flanagan, Amr Sabry, Bruce F. Duba, and Matthias Felleisen. The essence of compiling with continuations. In David W. Wall, editor, Proceedings of the ACM SIGPLAN'93 Conference on Programming Languages Design and Implementation, SIGPLAN Notices, Vol. 28, No 6, pages 237\u2013247, Albuquerque, New Mexico, June 1993. ACM Press."},{"key":"16_CR11","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/114005.102805","volume":"13","author":"P. Fradet","year":"1991","unstructured":"Pascal Fradet and Daniel Le M\u00e9tayer. Compilation of functional languages by program transformation. ACM Transactions on Programming Languages and Systems, 13:21\u201351, 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR12","volume-title":"Proceedings of the Twenty-first Annual ACM Symposium on Principles of Programming Languages","author":"J. Hatcliff","year":"1994","unstructured":"John Hatcliff and Olivier Danvy. A generic account of continuation-passing styles. In Hans Boehm, editor, Proceedings of the Twenty-first Annual ACM Symposium on Principles of Programming Languages, Portland, Oregon, January 1994. ACM Press."},{"key":"16_CR13","unstructured":"John Hatcliff and Olivier Danvy. Thunks and the \u03bb-calculus. Journal of Functional Programming, 1995. (in press). The extended version of this paper appears as DIKU-Report 95\/3."},{"key":"16_CR14","unstructured":"John Hatcliff and Olivier Danvy. A computational formalization for partial evaluation. Mathematical Structures in Computer Science, 1996. (in press). To appear in a special issue devoted to selected papers from the Workshop on Logic, Domains, and Programming Languages. Darmstadt, Germany. May, 1995."},{"issue":"1","key":"16_CR15","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/366062.366084","volume":"4","author":"P. Z. Ingerman","year":"1961","unstructured":"P. Z. Ingerman. Thunks, a way of compiling procedure statements with some comments on procedure declarations, Communications of the ACM, 4(1):55\u201358, 1961.","journal-title":"Communications of the ACM"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"J. Kamperman and H. Walters. Minimal term rewriting systems. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type Specification, volume 1130 of Lecture Notes in Computer Science, pages 274\u2013290, 1996.","DOI":"10.1007\/3-540-61629-2_48"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Julia L. Lawall and Olivier Danvy. Separating stages in the continuation-passing style transformation. In Susan L. Graham, editor, Proceedings of the Twentieth Annual ACM Symposium on Principles of Programming Languages, pages 124\u2013136, Charleston, South Carolina, January 1993. ACM Press.","DOI":"10.1145\/158511.158613"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Julia L. Lawall and Peter Th\u00edemann. Sound specialization in the presence of computational effects. To appear in the Proceedings of TACS'97.","DOI":"10.1007\/BFb0014551"},{"key":"16_CR19","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Eugenio Moggi. Notions of computation and monads. Information and Computation, 93:55\u201392, 1991.","journal-title":"Information and Computation"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Chris Okasaki, Peter Lee, and David Tarditi. Call-by-need and continuation-passing style. In Talcott [28].","DOI":"10.1007\/BF01019945"},{"key":"16_CR21","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. D. Plotkin","year":"1975","unstructured":"Gordon D. Plotkin. Call-by-name, call-by-value and the \u03b3-calculus. Theoretical Computer Science, 1:125\u2013159, 1975.","journal-title":"Theoretical Computer Science"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Amr Sabry and Matthias Felleisen. Reasoning about programs in continuation-passing style. In Talcott [28], pages 289\u2013360.","DOI":"10.1145\/141471.141563"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Amr Sabry and Philip Wadler. A reflection on call-by-value. In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, April 1996.","DOI":"10.1145\/232627.232631"},{"key":"16_CR24","series-title":"Technical Report CIS-TR-96-08","volume-title":"A reflection on call-by-value","author":"A. Sabry","year":"1996","unstructured":"Amr Sabry and Philip Wadler. A reflection on call-by-value. Technical Report CIS-TR-96-08, Department of Computing and Information Sciences, University of Oregon, Eugene, Oregon, April 1996."},{"key":"16_CR25","unstructured":"Amr Sabry and Philip Wadler. Personal communication. June 4, 1997."},{"issue":"1","key":"16_CR26","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1006\/inco.1996.2622","volume":"133","author":"M. H. S\u00f8rensen","year":"1997","unstructured":"Morten Heine S\u00f8rensen. Strong normalization from weak normalization in typed \u03bb-calculi. Information and Computation, 133(1):35\u201371, 1997.","journal-title":"Information and Computation"},{"key":"16_CR27","series-title":"Technical Report AI-TR-474","volume-title":"Rabbit: A compiler for Scheme","author":"G. L. Steele Jr","year":"1978","unstructured":"Guy L. Steele Jr. Rabbit: A compiler for Scheme. Technical Report AI-TR-474, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts, May 1978."},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"Carolyn L. Talcott, editor. Special issue on continuations, LISP and Symbolic Computation, Vol. 6, Nos. 3\/4. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/BF01019458"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0033848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T17:21:55Z","timestamp":1683307315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0033848"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633983","9783540695370"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0033848","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}