{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T23:00:08Z","timestamp":1765666808526,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540853725"},{"type":"electronic","value":"9783540853732"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85373-2_3","type":"book-chapter","created":{"date-parts":[[2008,8,20]],"date-time":"2008-08-20T11:34:54Z","timestamp":1219232094000},"page":"37-56","source":"Crossref","is-referenced-by-count":6,"title":["Optimal Lambda Lifting in Quadratic Time"],"prefix":"10.1007","author":[{"given":"Marco T.","family":"Moraz\u00e1n","sequence":"first","affiliation":[]},{"given":"Ulrik P.","family":"Schultz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","first-page":"145","volume-title":"Proc. of the Symp. on Partial Evaluation and Semantics-Based Program Manipulation","author":"C. Consel","year":"1993","unstructured":"Consel, C.: A Tour of Schism: A Partial Evaluation System for Higher-Order Applicative Languages. In: Proc. of the Symp. on Partial Evaluation and Semantics-Based Program Manipulation, June 1993, pp. 145\u2013154. ACM Press, New York (1993)"},{"issue":"1\u20132","key":"3_CR2","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0304-3975(00)00054-2","volume":"248","author":"O. Danvy","year":"2000","unstructured":"Danvy, O., Schultz, U.P.: Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. Theoretical Computer Science\u00a0248(1\u20132), 243\u2013287 (2000)","journal-title":"Theoretical Computer Science"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Danvy, O., Schultz, U.P.: Lambda-Lifting in Quadratic Time. Journal of Functional and Logic Programming\u00a02004(1) (July 2004)","DOI":"10.7146\/brics.v11i12.21837"},{"key":"3_CR4","volume-title":"Essentials of Programming Languages","author":"D.P. Friedman","year":"2001","unstructured":"Friedman, D.P., Wand, M., Haynes, C.T.: Essentials of Programming Languages. The MIT Press, Cambridge (2001)"},{"key":"3_CR5","volume-title":"Algorithmic Graph Theory","author":"A. Gibbons","year":"1985","unstructured":"Gibbons, A.: Algorithmic Graph Theory. Cambridge University Press, Cambridge (1985)"},{"key":"3_CR6","unstructured":"Gould, R.: Graph Theory. The Benjamin\/Cummings Publishing Company, Inc. (1988)"},{"issue":"4","key":"3_CR7","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1023\/B:AUSE.0000038936.09009.69","volume":"11","author":"J. Matthews","year":"2004","unstructured":"Matthews, J., Findler, R., Graunke, P., Krishnamurthi, S., Felleisen, M.: Automatically Restructuring Programs for the Web. Automated Software Engineering\u00a011(4), 337\u2013364 (2004)","journal-title":"Automated Software Engineering"},{"key":"3_CR8","first-page":"190","volume-title":"Proc. of a Conf. on Functional Prog. Lang. and Comp. Arch.","author":"T. Johnsson","year":"1985","unstructured":"Johnsson, T.: Lambda Lifting: Transforming Programs to Recursive Equations. In: Proc. of a Conf. on Functional Prog. Lang. and Comp. Arch., pp. 190\u2013203. Springer, New York (1985)"},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/3-540-18420-1_53","volume-title":"Graph Reduction: Proceedings of a Workshop at Santa F\u00e9, New Mexico","author":"T. Johnsson","year":"1987","unstructured":"Johnsson, T.: Target Code Generation from G-Machine Code. In: Fasel, J.H., Keller, R.M. (eds.) Graph Reduction: Proceedings of a Workshop at Santa F\u00e9, New Mexico, New York, NY, pp. 119\u2013159. Springer, Heidelberg (1987)"},{"key":"3_CR10","series-title":"Prentice-Hall International Series in Computer Science","volume-title":"The Implementation of Functional Programming Languages","author":"S.L.P. Jones","year":"1987","unstructured":"Jones, S.L.P.: The Implementation of Functional Programming Languages. Prentice-Hall International Series in Computer Science. Prentice-Hall, Upper Saddle River (1987)"},{"issue":"5","key":"3_CR11","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1002\/spe.4380210505","volume":"21","author":"S.L.P. Jones","year":"1991","unstructured":"Jones, S.L.P., Lester, D.: A Modular Fully-lazy Lambda Lifter in HASKELL. Software - Practice and Experience\u00a021(5), 479\u2013506 (1991)","journal-title":"Software - Practice and Experience"},{"key":"3_CR12","unstructured":"Jones, S.L.P., Lester, D.: Implementing Functional Languages: A Tutorial. Prentice Hall International Series in Computer Science (1992)"},{"key":"3_CR13","unstructured":"Moraz\u00e1n, M.T.: Towards Closureless Functional Languages. In: Arabnia, H. (ed.) Proc. of the Int. Conf. on Prog. Lang. and Compilers, pp. 57\u201363. CSREA Press (2005)"},{"key":"3_CR14","unstructured":"Moraz\u00e1n, M.T., Mucha, B.: Improved Graph-Based Lambda Lifting. In: Arabnia, H. (ed.) Proc. of the Int. Conf. on Prog. Lang. and Compilers, June 2006, pp. 896\u2013902. CSREA Press (2006)"},{"issue":"1-2","key":"3_CR15","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/BF01128408","volume":"8","author":"D.P. Oliva","year":"1995","unstructured":"Oliva, D.P., Ramsdell, J.D., Wand, M.: The VLISP Verified PreScheme Compiler. Lisp and Symbolic Computation\u00a08(1-2), 111\u2013182 (1995)","journal-title":"Lisp and Symbolic Computation"},{"issue":"6","key":"3_CR16","doi-asserted-by":"publisher","first-page":"2117","DOI":"10.1137\/S0097539797317263","volume":"28","author":"S. Alstrup","year":"1999","unstructured":"Alstrup, S., Harel, D., Lauridsen, P.W., Thorup, M.: Dominators in Linear Time. SIAM Journal on Computing\u00a028(6), 2117\u20132132 (1999)","journal-title":"SIAM Journal on Computing"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85373-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,8]],"date-time":"2024-05-08T05:04:57Z","timestamp":1715144697000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-85373-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540853725","9783540853732"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85373-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}