{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:07:55Z","timestamp":1725494875663},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403258"},{"type":"electronic","value":"9783540448983"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44898-5_21","type":"book-chapter","created":{"date-parts":[[2007,11,10]],"date-time":"2007-11-10T22:21:25Z","timestamp":1194733285000},"page":"366-382","source":"Crossref","is-referenced-by-count":2,"title":["Continuation-Based Partial Evaluation without Continuations"],"prefix":"10.1007","author":[{"given":"Peter","family":"Thiemann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Anders Bondorf. Improving binding times without explicit CPS-conversion. In Proc. 1992 ACM Conference on Lisp and Functional Programming, pages 1\u201310, San Francisco, California, USA, June 1992.","DOI":"10.1145\/141471.141483"},{"issue":"2","key":"21_CR2","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0167-6423(91)90002-F","volume":"16","author":"A. Bondorf","year":"1991","unstructured":"Anders Bondorf and Olivier Danvy. Automatic autoprojection of recursive equations with global variables and abstract data types. Science of Computer Programming, 16(2):151\u2013195, 1991.","journal-title":"Science of Computer Programming"},{"key":"21_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1007\/3540543961_24","volume-title":"Proc. Functional Programming Languages and Computer Architecture 1991","author":"C. Consel","year":"1991","unstructured":"Charles Consel and Olivier Danvy. For a better support of static data flow. In John Hughes, editor, Proc. Functional Programming Languages and Computer Architecture 1991, number 523 in Lecture Notes in Computer Science, pages 496\u2013519, Cambridge, MA, 1991. Springer-Verlag."},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Charles Consel and Olivier Danvy. Tutorial notes on partial evaluation. In Proceedings of the 1993 ACM SIGPLAN Symposium on Principles of Programming Languages, pages 493\u2013501, Charleston, South Carolina, January 1993. ACM Press.","DOI":"10.1145\/158511.158707"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Olivier Danvy. Type-directed partial evaluation. In Proceedings of the 1996 ACM SIGPLAN Symposium on Principles of Programming Languages, pages 242\u2013257, St. Petersburg, Fla., January 1996. ACM Press.","DOI":"10.1145\/237721.237784"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1017\/S0960129500001535","volume":"2","author":"O. Danvy","year":"1992","unstructured":"Olivier Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation. Mathematical Structures in Computer Science, 2:361\u2013391, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"key":"21_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Dagstuhl Seminar on Partial Evaluation 1996","year":"1996","unstructured":"Olivier Danvy, Robert Gl\u00fcck, and Peter Thiemann, editors. Dagstuhl Seminar on Partial Evaluation 1996, number 1110 in Lecture Notes in Computer Science, Schlo\u00df Dagstuhl, Germany, February 1996. Springer-Verlag."},{"issue":"6","key":"21_CR8","doi-asserted-by":"publisher","first-page":"730","DOI":"10.1145\/236114.236119","volume":"18","author":"O. Danvy","year":"1996","unstructured":"Olivier Danvy, Karoline Malmkj\u00e6r, and Jens Palsberg. Eta-expansion does The Trick. ACM Transactions on Programming Languages and Systems, 18(6):730\u2013751, November 1996.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Dirk Dussart, Eddy Bevers, and Karel De Vlaminck. Polyvariant constructor specialization. In William Scherlis, editor, Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM\u2019 95, pages 54\u201363, La Jolla, CA, June 1995. ACM Press.","DOI":"10.1145\/215465.215554"},{"key":"21_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/3-540-60360-3_36","volume-title":"Proceedings of the 1995 International Static Analysis Symposium","author":"D. Dussart","year":"1995","unstructured":"Dirk Dussart, Fritz Henglein, and Christian Mossin. Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time. In Alan Mycroft, editor, Proceedings of the 1995 International Static Analysis Symposium, number 983 in Lecture Notes in Computer Science, pages 118\u2013136, Glasgow, Scotland, September 1995. Springer-Verlag."},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Andrzej Filinski. Representing layered monads. In Alexander Aiken, editor, Proceedings of the 1999 ACM SIGPLAN Symposium on Principles of Programming Languages, pages 175\u2013188, San Antonio, Texas, USA, January 1999. ACM Press.","DOI":"10.1145\/292540.292557"},{"key":"21_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-45413-6_15","volume-title":"Proc. of 5th Int. Conf. on Typed Lambda Calculi and Applications, TLCA\u201901","author":"A. Filinski","year":"2001","unstructured":"Andrzej Filinski. Normalization by evaluation for the computational lambda-calculus. In Samson Abramsky, editor, Proc. of 5th Int. Conf. on Typed Lambda Calculi and Applications, TLCA\u201901, number 2044 in Lecture Notes in Computer Science, pages 151\u2013165, Krakow, Poland, 2001. Springer-Verlag."},{"key":"21_CR13","unstructured":"Haskell 98, a non-strict, purely functional language. http:\/\/www.haskell.org\/definition, December 1998."},{"issue":"5","key":"21_CR14","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1017\/S0960129597002405","volume":"7","author":"J. Hatcliff","year":"1997","unstructured":"John Hatcliff and Olivier Danvy. A computational formalization for partial evaluation. Mathematical Structures in Computer Science, 7(5):507\u2013542, 1997.","journal-title":"Mathematical Structures in Computer Science"},{"key":"21_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/3-540-61580-6_10","volume-title":"Dagstuhl Seminar on Partial Evaluation 1996","author":"J. Hughes","year":"1996","unstructured":"John Hughes. Type specialisation for the \u03bb-calculus; or, a new paradigm for partial evaluation based on type inference. In Robert Gl\u00fcck, and Peter Thiemann, editors. Dagstuhl Seminar on Partial Evaluation 1996, number 1110 in Lecture Notes in Computer Science, Schlo\u00df Dagstuhl, Germany, February 1996. Springer-Verlag Danvy et al. [7], pages 183\u2013215."},{"key":"21_CR16","unstructured":"Neil Jones, Carsten Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993."},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Julia Lawall and Olivier Danvy. Continuation-based partial evaluation. In Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, pages 227\u2013238, Orlando, Florida, USA, June 1994. ACM Press.","DOI":"10.1145\/182409.182483"},{"key":"21_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BFb0014551","volume-title":"Proceedings of the Theoretical Aspects of Computer Software","author":"J. Lawall","year":"1997","unstructured":"Julia Lawall and Peter Thiemann. Sound specialization in the presence of computational effects. In Proceedings of the Theoretical Aspects of Computer Software, number 1281 in Lecture Notes in Computer Science, pages 165\u2013190, Sendai, Japan, September 1997. Springer-Verlag."},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"John M. Lucassen and David K. Gifford. Polymorphic effect systems. In Proc. 15th Annual ACM Symposium on Principles of Programming Languages, pages 47\u201357, San Diego, California, January 1988. ACM Press.","DOI":"10.1145\/73560.73564"},{"key":"21_CR20","unstructured":"John Mitchell. Foundations for Programming Languages. MIT Press, 1996."},{"key":"21_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/3-540-61580-6_15","volume-title":"Dagstuhl Seminar on Partial Evaluation 1996","author":"T. \u00c6. Mogensen","year":"1996","unstructured":"Torben \u00c6. Mogensen. Evolution of partial evaluators: Removing inherited limits. In Robert Gl\u00fcck, and Peter Thiemann, editors. Dagstuhl Seminar on Partial Evaluation 1996, number 1110 in Lecture Notes in Computer Science, Schlo\u00df Dagstuhl, Germany, February 1996. Springer-Verlag Danvy et al. [7], pages 303\u2013321."},{"key":"21_CR22","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Eugenio Moggi. Notions of computations and monads. Information and Computation, 93:55\u201392, 1991.","journal-title":"Information and Computation"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer Verlag, 1999.","DOI":"10.1007\/978-3-662-03811-6"},{"issue":"2\/3","key":"21_CR24","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1023\/A:1012984529382","volume":"14","author":"E. Sumii","year":"2001","unstructured":"Eijiro Sumii and Naoki Kobayashi. A hybrid approach to online and offline partial evaluation. Higher-Order and Symbolic Computation, 14(2\/3):101\u2013142, 2001.","journal-title":"Higher-Order and Symbolic Computation"},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"Walid Taha and Tim Sheard. MetaML and multi-stage programming with explicit annotations. Theoretical Computer Science, 2000.","DOI":"10.1016\/S0304-3975(00)00053-0"},{"key":"21_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1007\/BFb0030638","volume-title":"TAPSOFT\u2019 97: Theory and Practice of Software Development","author":"P. Thiemann","year":"1997","unstructured":"Peter Thiemann. A unified framework for binding-time analysis. In Michel Bidoit and Max Dauchet, editors, TAPSOFT\u2019 97: Theory and Practice of Software Development, number 1214 in Lecture Notes in Computer Science, pages 742\u2013756, Lille, France, April 1997. Springer-Verlag."},{"issue":"5","key":"21_CR27","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1017\/S0956796899003469","volume":"9","author":"P. Thiemann","year":"1999","unstructured":"Peter Thiemann. Combinators for program generation. Journal of Functional Programming, 9(5):483\u2013525, September 1999.","journal-title":"Journal of Functional Programming"},{"issue":"1","key":"21_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/601775.601776","volume":"4","author":"P. Wadler","year":"2003","unstructured":"Philip Wadler and Peter Thiemann. The marriage of monads and effects. ACM Transactions on Computational Logic, 4(1):1\u201332, January 2003.","journal-title":"ACM Transactions on Computational Logic"},{"key":"21_CR29","doi-asserted-by":"crossref","unstructured":"Philip L. Wadler. Comprehending monads. In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pages 61\u201378, Nice, France, 1990. ACM Press.","DOI":"10.1145\/91556.91592"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44898-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T05:21:12Z","timestamp":1556947272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44898-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403258","9783540448983"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-44898-5_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}