{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:13Z","timestamp":1725663433095},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540509400"},{"type":"electronic","value":"9783540461180"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50940-2_34","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:35:26Z","timestamp":1330202126000},"page":"155-166","source":"Crossref","is-referenced-by-count":2,"title":["Compilation of lambda-calculus into functional machine code"],"prefix":"10.1007","author":[{"given":"P.","family":"Fradet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"M\u00e9tayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"10_CR1","unstructured":"W.H. Burge, \"Recursive Programming Techniques\", Addison-Wesley, 1975."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"L. Cardelli, \"Compiling a Functional Language\", Proc. of ACM Symp. on Lisp and Functional Prog., pp. 208\u2013226, 1984.","DOI":"10.1145\/800055.802037"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0167-6423(87)90020-7","volume":"8","author":"G. Cousineau","year":"1987","unstructured":"G. Cousineau, P.-L. Curien, M. Mauny, \"The Categorical Abstract Machine\", Science of Computer Programming, Vol.8, pp.173\u2013202, 1987.","journal-title":"Science of Computer Programming"},{"key":"10_CR4","unstructured":"H.B. Curry, R. Feys, W. Craig, \"Combinatory Logic\", Vol. I North-Holland, 1958, Second printing 1968."},{"key":"10_CR5","unstructured":"P. Fradet, \"Compilation des langages fonctionnels par transformation de programmes\", Th\u00e8se, Universit\u00e9 de Rennes, Nov. 1988."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"R.J.M. Hughes, \"Supercombinators: a new implementation method for applicative langages\", Proc. of ACM Symp. on Lisp and Functional Prog., pp. 208\u2013226, 1982.","DOI":"10.1145\/800068.802129"},{"issue":"6","key":"10_CR7","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/502949.502880","volume":"19","author":"T. Johnsson","year":"1984","unstructured":"T. Johnsson, \"Efficient Compilation of Lazy Evaluation\", Proc. of the ACM SIGPLAN Symp. on Compiler Construction, SIGLAN Notices, Vol. 19, 6, pp. 58\u201369, 1984.","journal-title":"Proc. of the ACM SIGPLAN Symp. on Compiler Construction, SIGLAN Notices"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/3-540-18420-1_53","volume":"279","author":"T. Johnsson","year":"1986","unstructured":"T. Johnsson, \"Target Code Generation from G-Machine Code\", Proc. of the Workshop on Graph Reduction, LNCS Vol.279, pp.119\u2013159, 1986.","journal-title":"Proc. of the Workshop on Graph Reduction, LNCS"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"D. Kranz, R. Kelsey, J. Rees, P. Hudak, J. Philbin, N. Adams \"Orbit: an Optimizing compiler for Scheme\", Proc. of the ACM SIGPLAN Symp. on Compiler Construction, pp. 219\u2013233, 1986.","DOI":"10.1145\/12276.13333"},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P.J. Landin","year":"1964","unstructured":"P.J. Landin, \"The Mechanical Evaluation of Expressions\", Computer Journal, Vol.6, pp. 308\u2013320, 1964.","journal-title":"Computer Journal"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"M. Lema\u00eetre, M. Castan, M.-H. Durand, G. Durrieu, B. Lecussan, \"Mechanisms for Efficient Multiprocessor Combinator Reduction\" Proc. of ACM Symp. on Lisp and Functional Prog., pp. 113\u2013121, 1986.","DOI":"10.1145\/319838.319855"},{"key":"10_CR12","first-page":"46","volume":"274","author":"D. Lester","year":"1987","unstructured":"D. Lester, \"The G-Machine as a Representation of Stack Semantics\", Proc. of Functional Prog. Lang. and Comp. Arch., LNCS Vol. 274, pp. 46\u201359, 1987.","journal-title":"Proc. of Functional Prog. Lang. and Comp. Arch., LNCS"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G.D. Plotkin","year":"1975","unstructured":"G.D. Plotkin, \"Call-by-name, Call-by-value and the \u03bb-Calculus\", Theoretical Computer Science, Vol. 1, pp. 125\u2013159, 1975.","journal-title":"Theoretical Computer Science"},{"key":"10_CR14","first-page":"717","volume":"2","author":"J. C. Reynolds","year":"1972","unstructured":"J. C. Reynolds, \"Definitional interpreters for higher-order programming languages\", Proc. of ACM annual conference, Vol. 2, pp. 717\u2013740, 1972.","journal-title":"Proc. of ACM annual conference"},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"D.A. Turner","year":"1979","unstructured":"D.A. Turner, \"A New Implementation Technique for Applicative Languages\", Software-Practice and Experience, Vol. 9, pp. 31\u201349, 1979.","journal-title":"Software-Practice and Experience"},{"issue":"3","key":"10_CR16","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1145\/357172.357179","volume":"4","author":"M. Wand","year":"1982","unstructured":"M. Wand, \"Deriving target code as a representation of continuation semantics\", ACM Trans. on Prog. Lang. and Systems Vol 4, 3, pp. 496\u2013517, 1982.","journal-title":"ACM Trans. on Prog. Lang. and Systems"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50940-2_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:19:12Z","timestamp":1605647952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50940-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540509400","9783540461180"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-50940-2_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}