{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:55:40Z","timestamp":1725519340917},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540880585"},{"type":"electronic","value":"9783540880592"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-88059-2_4","type":"book-chapter","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T03:03:29Z","timestamp":1222398209000},"page":"112-157","source":"Crossref","is-referenced-by-count":0,"title":["Abstract \u03bb-Calculus Machines"],"prefix":"10.1007","author":[{"given":"Werner E.","family":"Kluge","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","first-page":"1","volume-title":"Proceedings of the 17th ACM Symposium on Principles of Programming Languages","author":"M. Abadi","year":"1990","unstructured":"Abadi, M., Cardelli, L., Curien, P.-L., Levi, J.-J.: Explicit Substitutions. In: Proceedings of the 17th ACM Symposium on Principles of Programming Languages, pp. 1\u201316. ACM Press, New York (1990)"},{"key":"4_CR2","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"The Lambda Calculus, Its Syntax and Semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus, Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1984)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Berkling, K.J.: Reduction Languages for Reduction Machines. In: Berkling, K.J. (ed.) Proceedings of the 2nd Annual Symposium on Computer Architecture, pp. 133\u2013140. ACM\/IEEE (1975)","DOI":"10.1145\/642089.642112"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","first-page":"26","volume-title":"Head-Order Reduction: a Graph Reduction Scheme for the Operational Lambda Calculus","author":"K.J. Berkling","year":"1986","unstructured":"Berkling, K.J.: Head-Order Reduction: a Graph Reduction Scheme for the Operational Lambda Calculus. LNCS, vol.\u00a0254, pp. 26\u201348. Springer, Heidelberg (1986)"},{"key":"4_CR5","unstructured":"Berkling, K.J.: The von Neumann-PLUS Architecture: an Evolutionary Development. unpublished draft (1996)"},{"key":"4_CR6","unstructured":"Berkling, K.J.: Privately communicated handwritten notes, Syracuse, NY (Spring 1997)"},{"key":"4_CR7","volume-title":"Introduction to Functional Programming with Haskell","author":"R.S. Bird","year":"1998","unstructured":"Bird, R.S.: Introduction to Functional Programming with Haskell, 2nd edn. Prentice-Hall, Englewood Cliffs (1998)","edition":"2"},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/1385-7258(72)90034-0","volume":"34","author":"N.G. Bruijn de","year":"1972","unstructured":"de Bruijn, N.G.: A Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, with Application to the Church\u2013Rosser Theorem. Indagationes Mathematicae\u00a034, 381\u2013392 (1972)","journal-title":"Indagationes Mathematicae"},{"key":"4_CR9","volume-title":"The Functional Abstract Machine,The ML\/LCF\/HOPE Newsletter","author":"L. Cardelli","year":"1983","unstructured":"Cardelli, L., McQueen, D.: The Functional Abstract Machine,The ML\/LCF\/HOPE Newsletter. AT&T Bell Labs, Murray Hill, NJ (1983)"},{"key":"4_CR10","volume-title":"The Calculi of Lambda Conversion","author":"A. Church","year":"1941","unstructured":"Church, A.: The Calculi of Lambda Conversion. Princeton University Press, Princeton (1941)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/3-540-15975-4_29","volume-title":"Functional Programming Languages and Computer Architecture","author":"G. Cousineau","year":"1985","unstructured":"Cousineau, G., Curien, P.L., Mauny, M.: The Categorial Abstract Machine. In: Jouannaud, J.-P. (ed.) FPCA 1985. LNCS, vol.\u00a0201, pp. 50\u201364. Springer, Heidelberg (1985); Science of Computer Programming, No. 8, 173\u2013202 (1987)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Cr\u00e9gut, P.: An Abstract Machine for the Normalization of \u03bb-Terms. In: Proceedings of the ACM Conference on LISP and Functional Programming, pp. 333\u2013340 (1990)","DOI":"10.1145\/91556.91681"},{"key":"4_CR13","volume-title":"The SCHEME Programming Language","author":"R.K. Dybvig","year":"1987","unstructured":"Dybvig, R.K.: The SCHEME Programming Language. Prentice-Hall, Englewood Cliffs (1987)"},{"issue":"5","key":"4_CR14","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1017\/S0956796800001957","volume":"6","author":"D. Gaertner","year":"1996","unstructured":"Gaertner, D., Kluge, W.E.: \u03c0-red \u2009+\u2009 \u2013 an Interactive Compiling Graph Reduction System for an Applied \u03bb-Calculus. Journal of Functional Programming\u00a06(5), 723\u2013757 (1996)","journal-title":"Journal of Functional Programming"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Gr\u00e9goire, B., Leroy, X.: A Compiled Implementation of Strong Reduction. In: Proceedings of the ACM International Conference on Functional Programming, pp. 235\u2013246 (2002)","DOI":"10.1145\/583852.581501"},{"key":"4_CR16","unstructured":"Hilton, M.L.: Implementation of Declarative Languages, PhD thesis, CASE Center Technical Report No. 9008. Syracuse University, Syracuse, NY (1990)"},{"key":"4_CR17","series-title":"London Mathematical Society Student Texts","volume-title":"Introduction to Combinators and \u03bb-Calculus","author":"J.R. Hindley","year":"1986","unstructured":"Hindley, J.R., Seldin, J.P.: Introduction to Combinators and \u03bb-Calculus. London Mathematical Society Student Texts. Cambridge University Press, Cambridge (1986)"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Hommes, F.: The Heap\/Substitution Concept - an Implementation of Functional Operations on Data Structures for a Reduction Machine. In: Proc. 9th Annual Symposium on Computer Architecture, Austin (Texas), pp. 248\u2013256 (1982)","DOI":"10.1145\/1067649.801733"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Johnsson, T.: Efficient Compilation of Lazy Evaluation. ACM Conference on Compiler Construction, Montreal, Que., pp. 58\u201369 (1984)","DOI":"10.1145\/502874.502880"},{"key":"4_CR20","unstructured":"Kluge, W.E.: The Architecture of the Reduction Machine Hardware Model, Internal Report GMD ISF-79-3, St. Augustin, Germany (1979)"},{"key":"4_CR21","volume-title":"Abstract Computing Machines \u2013 A Lambda Calculus Perspective","author":"W. Kluge","year":"2005","unstructured":"Kluge, W.: Abstract Computing Machines \u2013 A Lambda Calculus Perspective. Springer, New York (2005)"},{"key":"4_CR22","unstructured":"Krivine, J.-L.: Un interpr\u00e9te du \u03bb-calcul. (1985)"},{"issue":"4","key":"4_CR23","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P.J. Landin","year":"1964","unstructured":"Landin, P.J.: The Mechanical Evaluation of Expressions. The Computer Journal\u00a06(4), 308\u2013320 (1964)","journal-title":"The Computer Journal"},{"issue":"2","key":"4_CR24","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1017\/S0956796800000319","volume":"2","author":"S.L. Peyton Jones","year":"1992","unstructured":"Peyton Jones, S.L.: Implementing Lazy Functional Languages on Stock Hardware: the Spineless Tagless G-Machine. Journal of Functional Programming\u00a02(2), 127\u2013202 (1992)","journal-title":"Journal of Functional Programming"},{"key":"4_CR25","volume-title":"Functional Programming and Parallel Graph Rewriting","author":"R. Plasmeijer","year":"1993","unstructured":"Plasmeijer, R., van Eekelen, M.: Functional Programming and Parallel Graph Rewriting. Addison-Wesley, Reading (1993)"},{"key":"4_CR26","unstructured":"Troullinos, N.B.: Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction, PhD thesis, CASE Center Technical Report No. 9322, Syracuse University, Syracuse, NY (1993)"},{"key":"4_CR27","volume-title":"Elements of MLProgramming","author":"J.U. Ullman","year":"1998","unstructured":"Ullman, J.U.: Elements of MLProgramming, 2nd edn. Prentice-Hall, Englewood Cliffs (1998)","edition":"2"},{"key":"4_CR28","unstructured":"Wadsworth, C.P.: Semantics and Pragmatics of the Lambda Calculus, PhD thesis, Oxford University (1971)"}],"container-title":["Lecture Notes in Computer Science","Central European Functional Programming School"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88059-2_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:55:22Z","timestamp":1619524522000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88059-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540880585","9783540880592"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88059-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}