{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:07Z","timestamp":1725663307230},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540171843"},{"type":"electronic","value":"9783540472537"}],"license":[{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-17184-3_39","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:08:44Z","timestamp":1330178924000},"page":"48-70","update-policy":"https:\/\/linproxy.fan.workers.dev:443\/http\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["The amber machine"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"3_CR1","unstructured":"Apple Computer: \"Inside Macintosh\"."},{"key":"3_CR2","unstructured":"L.Cardelli: \"The Functional Abstract Machine\", AT&T Bell Laboratories Technical Report TR-107, 1983. Also in \"Polymorphism, the ML\/LCF\/Hope Newsletter\", vol I, no. 1, 1983."},{"key":"3_CR3","unstructured":"L.Cardelli: \"Amber\", AT&T Bell Laboratories Technical Memorandum, 11271-840924-10TM, 1984."},{"key":"3_CR4","unstructured":"G.Cousineau, P-L.Curien, M.Mauny: \"The Categorical Abstract Machine\", to appear."},{"issue":"4","key":"3_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, Vol 6, No. 4, 1964, pp. 308\u2013320.","journal-title":"Computer Journal"},{"key":"3_CR6","unstructured":"R.Pike, L.Guibas, D.Ingalls: \"Bitmap Graphics\", SIGGRAPH '84 course notes."},{"key":"3_CR7","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","Combinators and Functional Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/3-540-17184-3_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:39:56Z","timestamp":1558255196000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/10.1007\/3-540-17184-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540171843","9783540472537"],"references-count":7,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/3-540-17184-3_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]},"assertion":[{"value":"5 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}