{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T03:29:59Z","timestamp":1783740599922,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540442332","type":"print"},{"value":"9783540457886","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45788-7_8","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T11:04:02Z","timestamp":1188299042000},"page":"134-151","source":"Crossref","is-referenced-by-count":5,"title":["Lambda-Lifting in Quadratic Time"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Danvy","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ulrik P.","family":"Schultz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"8_CR1","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986. 148"},{"key":"8_CR2","volume-title":"Modern Compiler Implementation in {C, Java, ML}","author":"A. W. Appel","year":"1998","unstructured":"Andrew W. Appel. Modern Compiler Implementation in {C, Java, ML}. Cambridge University Press, New York, 1998. 146"},{"issue":"4","key":"8_CR3","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/278283.278285","volume":"33","author":"A. W. Appel","year":"1998","unstructured":"Andrew W. Appel. SSA is functional programming. ACM SIGPLAN Notices, 33(4):17\u201320, April 1998. 146","journal-title":"ACM SIGPLAN Notices"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel and Trevor Jim. Continuation-passing, closure-passing style. In Michael J. O\u2019Donnell and Stuart Feldman, editors, Proceedings of the Sixteent Annual ACM Symposium on Principles of Programming Languages, pages 293\u2013302, Austin, Texas, January 1989. ACM Press. 145","DOI":"10.1145\/75277.75303"},{"key":"8_CR5","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Third International Symposium on Programming Language Implementation and Logic Programming","author":"A. W. Appel","year":"1991","unstructured":"Andrew W. Appel and David B. MacQueen. Standard ML of New Jersey. In Jan Ma\u0142uszy\u0144ski and Martin Wirsing, editors, Third International Symposium on Programming Language Implementation and Logic Programming, number 528 in Lecture Notes in Computer Science, pages 1\u201313, Passau, Germany, August 1991. Springer-Verlag. 145"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Lennart Augustsson. A compiler for Lazy ML. In Guy L. Steele Jr., editor, Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming, pages 218\u2013227, Austin, Texas, August 1984. ACM Press. 134","DOI":"10.1145\/800055.802038"},{"key":"8_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/10705424_15","volume-title":"Fourth Fuji International Symposium on Functional and Logic Programming","author":"A. Bakewell","year":"1999","unstructured":"Adam Bakewell and Colin Runciman. Automatic generalisation of function definitions. In Taisuke Sato, editors. Fourth Fuji International Symposium on Functional and Logic Programming, number 1722 in Lecture Notes in Computer Science, Tsukuba, Japan, November 1999. Springer-Verlag Middeldorp and Sato [23], pages 225\u2013240. 135"},{"key":"8_CR8","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:151\u2013195, 1991. 135, 145","journal-title":"Science of Computer Programming"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"William Clinger and Lars Thomas Hansen. Lambda, the ultimate label, or a simple optimizing compiler for Scheme. In Talcott [33], pages 128\u2013139. 135, 145, 147","DOI":"10.1145\/182409.156786"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Charles Consel. A tour of Schism: A partial evaluation system for higher-order applicative languages. In David A. Schmidt, editor, Proceedings of the Second ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 145\u2013154, Copenhagen, Denmark, June 1993. ACM Press. 135, 145","DOI":"10.1145\/154630.154645"},{"key":"8_CR11","unstructured":"Ole-Johan Dahl, Bj\u00f8rn Myhrhaug, and Kristen Nygaard. Simula: Common Base Language. Norwegian Computing Center, October 1970. 148"},{"key":"8_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/10705424_16","volume-title":"Fourth Fuji International Symposium on Functional and Logic Programming","author":"O. Danvy","year":"1999","unstructured":"Olivier Danvy. An extensional characterization of lambda-lifting and lambda-dropping. In Taisuke Sato, editors. Fourth Fuji International Symposium on Functional and Logic Programming, number 1722 in Lecture Notes in Computer Science, Tsukuba, Japan, November 1999. Springer-Verlag Middeldorp and Sato [23], pages 241\u2013250. Extended version available as the technical report BRICS RS-99-21. 147"},{"issue":"1\u20132","key":"8_CR13","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0304-3975(00)00054-2","volume":"248","author":"O. Danvy","year":"2000","unstructured":"Olivier Danvy and Ulrik P. Schultz. Lambda-dropping: Transforming recursive equations into programs with block structure. Theoretical Computer Science, 248(1\u20132):243\u2013287, 2000. 145, 146","journal-title":"Theoretical Computer Science"},{"key":"8_CR14","series-title":"Technical Report","volume-title":"Lambda-lifting in quadratic time","author":"O. Danvy","year":"2002","unstructured":"Olivier Danvy and Ulrik P. Schultz. Lambda-lifting in quadratic time. Technical Report BRICS RS-02-30, Department of Computer Science, University of Aarhus, Aarhus, Denmark, June 2002. 134"},{"key":"8_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-45350-4_10","volume-title":"Proceedings of the First Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG 2000)","author":"A. Fischbach","year":"2000","unstructured":"Adam Fischbach and John Hannan. Specification and correctness of lambda lifting. In Walid Taha, editor, Proceedings of the First Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG 2000), number 1924 in Lecture Notes in Computer Science, pages 108\u2013128, Montr\u00e9al, Canada, September 2000. Springer-Verlag. 147"},{"key":"8_CR16","unstructured":"James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, 1996. 148"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"John Hughes. Super combinators: A new implementation method for applicative languages. In Daniel P. Friedman and David S. Wise, editors, Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming, pages 1\u201310, Pittsburgh, Pennsylvania, August 1982. ACM Press. 134, 144","DOI":"10.1145\/800068.802129"},{"key":"8_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/3-540-15975-4_37","volume-title":"Functional Programming Languages and Computer Architecture","author":"T. Johnsson","year":"1985","unstructured":"Thomas Johnsson. Lambda lifting: Transforming programs to recursive equations. In Jean-Pierre Jouannaud, editor, Functional Programming Languages and Computer Architecture, number 201 in Lecture Notes in Computer Science, pages 190\u2013203, Nancy, France, September 1985. Springer-Verlag. 134, 137"},{"key":"8_CR19","volume-title":"Compiling Lazy Functional Languages","author":"T. Johnsson","year":"1987","unstructured":"Thomas Johnsson. Compiling Lazy Functional Languages. PhD thesis, Department of Computer Sciences, Chalmers University of Technology, G\u00f6teborg, Sweden, 1987. 137"},{"key":"8_CR20","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P. J. Landin","year":"1964","unstructured":"Peter J. Landin. The mechanical evaluation of expressions. Computer Journal, 6:308\u2013320, 1964. 145","journal-title":"Computer Journal"},{"key":"8_CR21","volume-title":"Object-oriented programming in the Beta programming language","author":"O. L. Madsen","year":"1993","unstructured":"Ole L. Madsen, Birger M\u00f8ller-Pedersen, and Kristen Nygaard. Object-oriented programming in the Beta programming language. Addison-Wesley, Reading, MA, USA, 1993. 148"},{"key":"8_CR22","unstructured":"Karoline Malmkj\u00e6r, Nevin Heintze, and Olivier Danvy. ML partial evaluation using set-based analysis. In John Reppy, editor, Record of the 1994 ACM SIGPLAN Workshop on ML and its Applications, Rapport de recherche N\n                           \n                    o\n                  \n                           2265, INRIA, pages 112\u2013119, Orlando, Florida, June 1994. Also appears as Technical report CMU-CS-94-129. 135, 145"},{"key":"8_CR23","series-title":"Lect Notes Comput Sci","volume-title":"Fourth Fuji International Symposium on Functional and Logic Programming","year":"1999","unstructured":"Aart Middeldorp and Taisuke Sato, editors. Fourth Fuji International Symposium on Functional and Logic Programming, number 1722 in Lecture Notes in Computer Science, Tsukuba, Japan, November 1999. Springer-Verlag. 149"},{"key":"8_CR24","series-title":"Lect Notes Comput Sci","first-page":"176","volume-title":"Combinators and Functional Programming Languages","author":"S. L. Peyton Jones","year":"1985","unstructured":"Simon L. Peyton Jones. An introduction to fully-lazy supercombinators. In Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet, editors, Combinators and Functional Programming Languages, number 242 in Lecture Notes in Computer Science, pages 176\u2013208, Val d\u2019Ajol, France, 1985. Springer-Verlag. 144"},{"key":"8_CR25","unstructured":"Simon L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice Hall International Series in Computer Science. Prentice-Hall International, 1987. 134, 138, 144, 145"},{"key":"8_CR26","unstructured":"John Reppy. Local CPS conversion in a direct-style compiler. In Amr Sabry, editor, Proceedings of the Third ACM SIGPLAN Workshop on Continuations, Technical report 545, Computer Science Department, Indiana University, pages 1\u20136, London, England, January 2001. 135, 147"},{"key":"8_CR27","volume-title":"Compilation by transformation in non-strict functional languages","author":"A. Santos","year":"1996","unstructured":"Andr\u00e9 Santos. Compilation by transformation in non-strict functional languages. PhD thesis, Department of Computing, University of Glasgow, Glasgow, Scotland, 1996. 135"},{"key":"8_CR28","volume-title":"Object-Oriented Software Engineering Using Partial Evaluation","author":"U. P. Schultz","year":"2000","unstructured":"Ulrik P. Schultz. Object-Oriented Software Engineering Using Partial Evaluation. PhD thesis, University of Rennes I, Rennes, France, 2000. 148"},{"key":"8_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/3-540-44978-7_11","volume-title":"Programs as Data Objects, Second Symposium, PADO 2001","author":"U. P. Schultz","year":"2001","unstructured":"Ulrik P. Schultz. Partial evaluation for class-based object-oriented languages. In Olivier Danvy and Andrzej Filinski, editors, Programs as Data Objects, Second Symposium, PADO 2001, number 2053 in Lecture Notes in Computer Science, pages 173\u2013197, Aarhus, Denmark, May 2001. Springer-Verlag. 148"},{"key":"8_CR30","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/3-540-48743-3_17","volume-title":"Proceedings of the European Conference on Object-oriented Programming (ECOOP\u201999)","author":"U. P. Schultz","year":"1999","unstructured":"Ulrik P. Schultz, Julia Lawall, Charles Consel, and Gilles Muller. Towards automatic specialization of Java programs. In Rachid Guerraoui, editor, Proceedings of the European Conference on Object-oriented Programming (ECOOP\u201999), volume 1628 of Lecture Notes in Computer Science, pages 367\u2013390, Lisbon, Portugal, June 1999. Springer-Verlag. 148"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Zhong Shao and Andrew W. Appel. Space-efficient closure representations. In Talcott [33], pages 150\u2013161. 145","DOI":"10.1145\/182409.156783"},{"issue":"1","key":"8_CR32","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/239912.239915","volume":"19","author":"P. A. Steckler","year":"1997","unstructured":"Paul A. Steckler and Mitchell Wand. Lightweight closure conversion. ACM Transactions on Programming Languages and Systems, 19(1):48\u201386, 1997. 147","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"8_CR33","volume":"VII","year":"1994","unstructured":"Carolyn L. Talcott, editor. Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, LISP Pointers, Vol. VII, No. 3, Orlando, Florida, June 1994. ACM Press. 149, 151","journal-title":"Proceedings of the 1994 ACM Conference on Lisp and Functional Programming"},{"key":"8_CR34","series-title":"Lect Notes Comput Sci","first-page":"306","volume-title":"Programs as Data Objects","author":"M. Wand","year":"1985","unstructured":"Mitchell Wand. From interpreter to compiler: a representational derivation. In Harald Ganzinger and Neil D. Jones, editors, Programs as Data Objects, number 217 in Lecture Notes in Computer Science, pages 306\u2013324, Copenhagen, Denmark, October 1985. Springer-Verlag. 147"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45788-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T00:30:25Z","timestamp":1550881825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45788-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442332","9783540457886"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-45788-7_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}