{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:07:53Z","timestamp":1770275273231,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540183174","type":"print"},{"value":"9783540478799","type":"electronic"}],"license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18317-5_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:32:24Z","timestamp":1330198344000},"page":"301-324","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":45,"title":["A standard ML compiler"],"prefix":"10.1007","author":[{"given":"Andrew W.","family":"Appel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David B.","family":"MacQueen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"issue":"3","key":"17_CR1","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P. J. Landin","year":"1966","unstructured":"P.J. Landin, \u201cThe next 700 programming languages,\u201d Comm. ACM, vol. 9, no. 3, pp. 157\u2013166, 1966.","journal-title":"Comm. ACM"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Luca Cardelli, \u201cCompiling a functional language,\u201d 1984 Symp. on LISP and Functional Programming, pp. 208\u2013217, ACM, 1984.","DOI":"10.1145\/800055.802037"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Robin Milner, \u201cA proposal for Standard ML,\u201d ACM Symposium on LISP and Functional Programming, pp. 184\u2013197, ACM, 1984.","DOI":"10.1145\/800055.802035"},{"key":"17_CR4","unstructured":"Robin Milner, \u201cThe Standard ML Core Language,\u201d Polymorphism, vol. 2, no. 2, October 1985."},{"key":"17_CR5","unstructured":"David MacQueen, \u201cModules for Standard ML,\u201d Proc. 1984 ACM Conf. on LISP and Functional Programming, pp. 198\u2013207, ACM, Austin, Texas, 1984."},{"key":"17_CR6","unstructured":"David MacQueen, \u201cModules for Standard ML,\u201d Polymorphism, vol. 2, no. 2, October 1985."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"R. Burstall, D. MacQueen, and D. Sannella, \u201cHope: an Experimental Applicative Language,\u201d Proceedings of the 1980 LISP Conference, pp. 136\u2013143, Stanford, 1980.","DOI":"10.1145\/800087.802799"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"David C. J. Matthews, \u201cThe Poly manual,\u201d SIGPLAN Notices, September 1985.","DOI":"10.1145\/988364.988371"},{"key":"17_CR9","unstructured":"David C. J. Matthews, An implementation of Standard ML in Poly, May 1986."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"G. Cousineau, P. L. Curien, and M. Mauny, \u201cThe Categorical Abstract Machine,\u201d in Functional Programming Languages and Computer Architecture, LNCS Vol 201, ed. J. P. Jouannaud, pp. 50\u201364, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15975-4_29"},{"key":"17_CR11","first-page":"348","volume":"17","author":"R. Milner","year":"1978","unstructured":"Robin Milner, \u201cA Theory of Type Polymorphism in Programming,\u201d J. CSS, vol. 17, pp. 348\u2013375, 1978.","journal-title":"J. CSS"},{"key":"17_CR12","unstructured":"Luca Cardelli, \u201cBasic polymorphic typechecking,\u201d Polymorphism, vol. 2, no. 1, January 1985."},{"key":"17_CR13","unstructured":"R. S. Boyer and J Moore, \u201cThe sharing of structure in theorem-proving programs,\u201d in Machine Intelligence 7, ed. D. Michie, Edinburgh University Press, 1972."},{"key":"17_CR14","unstructured":"Luis Damas, \u201cType Assignment in Programming Languages,\u201d PhD Thesis, Department of Computer Science, University of Edinburgh, 1985."},{"key":"17_CR15","unstructured":"Robert Harper, Robin Milner, and Mads Tofte, \u201cA type discipline for program modules,\u201d ECS-LFCS-87-28, Univ. of Edinburgh, 1987."},{"key":"17_CR16","unstructured":"Marianne Baudinet and David MacQueen, Tree Pattern Matching for ML, 1986."},{"key":"17_CR17","unstructured":"Guy L. Steele, \u201cRabbit: a compiler for Scheme,\u201d AI-TR-474, MIT, 1978."},{"issue":"7","key":"17_CR18","first-page":"219","volume":"21","author":"D. Kranz","year":"1986","unstructured":"D. Kranz, R. Kelsey, J. Rees, P. Hudak, J. Philbin, and N. Adams, \u201cORBIT: An optimizing compiler for Scheme,\u201d Proc. Sigplan '86 Symp. on Compiler Construction, vol. 21 (Sigplan Notices), no. 7, pp. 219\u2013233, July 1986.","journal-title":"Proc. Sigplan '86 Symp. on Compiler Construction"},{"key":"17_CR19","volume-title":"Design of an Optimizing Compiler","author":"W. Wulf","year":"1975","unstructured":"W. Wulf, R. K. Johnsson, C. B. Weinstock, C. B. Hobbs, and C. M. Geschke, Design of an Optimizing Compiler, Elsevier North-Holland, New York, 1975."},{"key":"17_CR20","unstructured":"Luca Cardelli, \u201cThe functional abstract machine,\u201d Polymorphism, vol. 1, no. 1, January 1983."},{"key":"17_CR21","volume-title":"Formalization and automatic derivation of code generators","author":"R. G. G. G. Cattell","year":"1978","unstructured":"R. G. G. Cattell, \u201cFormalization and automatic derivation of code generators,\u201d Ph.D. Thesis, Carnegie-Mellon University, Pittsburgh, PA, April 1978."},{"key":"17_CR22","unstructured":"A. V. Aho, M. Ganapathi, and S. W. K. Tjiang, Code generation using tree matching and dynamic programming, 1986."},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"D. A. Turner, \u201cMiranda: a non-strict functional language with polymorphic types,\u201d in Functional Programming Languages and Computer Architecture, LNCS Vol 201, ed. J. P. Jouannaud, pp. 1\u201316, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15975-4_26"},{"issue":"6","key":"17_CR24","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1145\/358141.358147","volume":"23","author":"H. Lieberman","year":"1983","unstructured":"Henry Lieberman and Carl Hewitt, \u201cA real-time garbage collector based on the lifetimes of objects,\u201d Communications of the ACM, vol. 23, no. 6, pp. 419\u2013429, ACM, 1983.","journal-title":"Communications of the ACM"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"A. W. Appel, \u201cGarbage collection can be faster than stack allocation,\u201d Information Processing Letters, vol. (to appear), 1987.","DOI":"10.1016\/0020-0190(87)90175-X"},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"David A. Moon, \u201cGarbage collection in a large LISP system,\u201d ACM Symposium on LISP and Functional Programming, pp. 235\u2013246, ACM, 1984.","DOI":"10.1145\/800055.802040"},{"issue":"5","key":"17_CR27","first-page":"157","volume":"19","author":"D. Ungar","year":"1984","unstructured":"David Ungar, \u201cGeneration scavenging: a non-disruptive high performance storage reclamation algorithm,\u201d SIGPLAN Notices (Proc. ACM SIGSOFT\/SIGPLAN Software Eng. Symp. on Practical Software Development Environments), vol. 19, no. 5, pp. 157\u2013167, ACM, 1984.","journal-title":"SIGPLAN Notices (Proc. ACM SIGSOFT\/SIGPLAN Software Eng. Symp. on Practical Software Development Environments)"}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18317-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:57:28Z","timestamp":1558267048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18317-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183174","9783540478799"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-18317-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987]]},"assertion":[{"value":"27 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}