{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T18:56:14Z","timestamp":1778871374682,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540159759","type":"print"},{"value":"9783540396772","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15975-4_29","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:24:45Z","timestamp":1330176285000},"page":"50-64","source":"Crossref","is-referenced-by-count":50,"title":["The categorical abstract machine"],"prefix":"10.1007","author":[{"given":"G.","family":"Cousineau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P-L.","family":"Curien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Mauny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"4_CR1","unstructured":"G. Berry, P.L. Curien, The Kernel of the Applicative Language CDS: Theory and Practice, Proc. French-US Seminar on the Applications of Algebra to Language Definition and Compilation, Fontainebleau (Juin 1982), Cambridge University Press (1984)."},{"key":"4_CR2","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":"N.G. De Bruijn, Lambda-calculus Notation with Maeless Dummies, a Tool for Automatic Formula Manipulation, Indag Math. 34, 381\u2013392 (1972).","journal-title":"Indag Math."},{"key":"4_CR3","first-page":"3","volume":"I","author":"L. Cardelli","year":"1983","unstructured":"L. Cardelli. ML under Unix, Polymorphism, Vol. I,3 (Dec. 1983).","journal-title":"ML under Unix, Polymorphism"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"L. Cardelli, Compiling a Functional Language, Proc. ACM Conf. on Lisp and Functional Programming, Austin (1984).","DOI":"10.1145\/800055.802037"},{"key":"4_CR5","unstructured":"L. Cardelli, The Amber Machine, to appear."},{"key":"4_CR6","unstructured":"P-L. Curien, Categorical Combinators, Sequential Algorithms and Functional Programming, to appear in Pitman Series in Theoretical Computer Science."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"M. Gordon, R. Milner, C. Wadsworth, Edinburgh LCF, Springer Lect. Notes in Comput. Sci., Vol. 78, (1979).","DOI":"10.1007\/3-540-09724-4"},{"key":"4_CR8","unstructured":"The ML Handbook, Inria technical report, (dec 84)."},{"key":"4_CR9","unstructured":"P. Henderson, Functional Programming: Application and Implementation, Prentice Hall International (1980)."},{"key":"4_CR10","unstructured":"J.R.Hindley, B.Lercher, J.P. Seldin, Combinatory Logic, Cambridge University Press (1972)."},{"key":"4_CR11","unstructured":"M. Mauny, Th\u00e8se de Troisi\u00e8me Cycle, to appear."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"R. Milner, A proposal for Standard ML, Proc. ACM Conf. on Lisp and Functional Programming, Austin (1984).","DOI":"10.1145\/800055.802035"},{"key":"4_CR13","doi-asserted-by":"crossref","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, Theoret. Comput. Sci. 1, 125\u2013159 (1975).","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR14","unstructured":"A. Suarez, Th\u00e8se de troisi\u00e8me cycle, to appear."},{"key":"4_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, 31\u201349 (1979).","journal-title":"Software Practice and Experience"}],"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\/3-540-15975-4_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:52Z","timestamp":1605625732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15975-4_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540159759","9783540396772"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-15975-4_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985]]}}}