{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:52Z","timestamp":1725663412239},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190271"},{"type":"electronic","value":"9783540389415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19027-9_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:56:22Z","timestamp":1330181782000},"page":"328-343","source":"Crossref","is-referenced-by-count":1,"title":["2-Level \u03bb-lifting"],"prefix":"10.1007","author":[{"given":"Flemming","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Hanne R.","family":"Nielson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"22_CR1","volume-title":"Categorical Combinators, Sequential Algorithms and Functional Programming","author":"P.-L. Curien","year":"1986","unstructured":"P.-L. Curien: Categorical Combinators, Sequential Algorithms and Functional Programming, Pitman, London, 1986."},{"key":"22_CR2","volume-title":"Combinatory Logic, vol. 1","author":"H.B. Curry","year":"1958","unstructured":"H.B. Curry, R. Feys: Combinatory Logic, vol. 1, North-Holland, Amsterdam, 1958."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"R.J.M.Hughes: Super-combinators, a new implementation method for applicative languages, Conf. Record of the 1982 ACM Symposium on LISP and functional programming, 1982.","DOI":"10.1145\/800068.802129"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"T.Johnson: Lambda lifting \u2014 transforming programs to recursive equations, Functional Programming Languages and Computer Architecture, Springer LNCS 201, 1985.","DOI":"10.1007\/3-540-15975-4_37"},{"key":"22_CR5","unstructured":"R.Milne, C.Strachey: A Theory of Programming Language Semantics, Halstead Press, 1976."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"F.Nielson: Abstract interpretation of denotational definitions, STACS 1986, Springer LNCS 210, 1986.","DOI":"10.1007\/3-540-16078-7_61"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"H.R.Nielson, F.Nielson: Pragmatic aspects of two-level denotational meta-languages, ESOP 1986, Springer LNCS 213, 1986.","DOI":"10.1007\/3-540-16442-1_10"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"H.R.Nielson, F.Nielson: Semantics directed compiling for functional languages, Proceedings of the 1986 ACM Conf. on LISP and Functional Programming, 1986.","DOI":"10.1145\/319838.319867"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"F.Nielson: Strictness analysis and denotational abstract interpretation (extended abstract), Proceedings from the 1987 ACM Conf. on Principles of Programming Languages, 1987. A full version is to appear in Information and Computation.","DOI":"10.1145\/41625.41636"},{"key":"22_CR10","unstructured":"F.Nielson: A formal type system for comparing partial evaluators, The Technical University of Denmark, 1987. To appear in proceedings from Workshop on Partial Evaluation and Mixed Computation, North Holland, 1988."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"H.R.Nielson, F.Nielson: Automatic binding time analysis for a typed \u03bb-calculus, to appear in Proceedings from the 1988 ACM Conf. on Principles of Programming Languages, 1988.","DOI":"10.1145\/73560.73569"},{"key":"22_CR12","unstructured":"D.Schmidt: Static properties of partial reduction, Kansas State University, 1987. To appear in proceedings from Workshop on Partial Evaluation and Mixed Computation, North Holland, 1988."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"M.Schoenfinkel: \u00dcber die Bausteine der mathematischen Logik, Mathematische Annalen, vol.92, 1924.","DOI":"10.1007\/BF01448013"},{"key":"22_CR14","unstructured":"R.D.Tennent: Principles of Programming Languages, Prentice Hall, 1981."},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"D.A.Turner: A new implementation technique for applicative languages, Software \u2014 Practice and Experience, vol.9, 1979.","DOI":"10.1002\/spe.4380090105"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"D.A.Turner: Another algorithm for bracket abstraction, The Journal of Symbolic Logic, vol.44, 1979.","DOI":"10.2307\/2273733"}],"container-title":["Lecture Notes in Computer Science","ESOP '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19027-9_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:16:12Z","timestamp":1605626172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19027-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190271","9783540389415"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-19027-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}