{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:06:19Z","timestamp":1749125179614},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543961"},{"type":"electronic","value":"9783540475996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540543961_29","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:44:16Z","timestamp":1330209856000},"page":"618-635","source":"Crossref","is-referenced-by-count":8,"title":["Making abstract machines less abstract"],"prefix":"10.1007","author":[{"given":"John","family":"Hannan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"A. Appel and D. MacQueen. A standard ML compiler. In G. Kahn, editor, Proceedings of the Conference on Functional Programming and Computer Architecture, Springer-Verlag LNCS, Vol. 274, 1987.","DOI":"10.1007\/3-540-18317-5_17"},{"issue":"2","key":"29_CR2","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0167-6423(87)90020-7","volume":"8","author":"G. Cousineau","year":"1987","unstructured":"G. Cousineau, P-L. Curien, and M. Mauny. The categorical abstract machine. The Science of Programming, 8(2):173\u2013202, 1987.","journal-title":"The Science of Programming"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"J. Hannan. Staging transformations for abstract machines. In J. Hughes, editor, Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, ACM Press, 1991.","DOI":"10.1145\/115865.115879"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"J. Hannan and D. Miller. From operational semantics to abstract machines: preliminary results. In M. Wand, editor, Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pages 323\u2013332, ACM, ACM Press, 1990.","DOI":"10.1145\/91556.91680"},{"issue":"5","key":"29_CR5","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, 6(5):308\u2013320, 1964.","journal-title":"Computer Journal"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"M. Mauny and A. Su\u00e1rez. Implementing functional languages in the categorical abstract machine. In Proceedings of the 1986 Symposium on Lisp and Functional Programming, 1986.","DOI":"10.1145\/319838.319869"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"L. Puel and A. Su\u00e1rez. Compiling pattern matching by term decomposition. In M. Wand, editor, Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pages 273\u2013281, ACM, ACM Press, 1990.","DOI":"10.1145\/91556.91670"},{"key":"29_CR8","unstructured":"A. Su\u00e1rez. Compiling ML into CAM. In G. Huet, editor, Logical Foundations of Functional Programming, chapter 4, pages 47\u201373, Addison-Wesley, 1990."}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540543961_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:21:20Z","timestamp":1619572880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540543961_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543961","9783540475996"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3540543961_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}