{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:34:50Z","timestamp":1725467690082},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649250"},{"type":"electronic","value":"9783540683087"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[[1998]]},"DOI":"10.1007\/bfb0055512","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T16:48:16Z","timestamp":1154018896000},"page":"53-77","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["How generic is a generic back end? using MLRISC as a back end for the TIL compiler"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Bernard","sequence":"first","affiliation":[]},{"given":"Robert","family":"Harper","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"4_CR1","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: principles, techniques, tools. Addison-Wesley, 1986."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel. A runtime system. Lisp and Symbolic Computation 3, pages 343\u2013380, 1990.","DOI":"10.1007\/BF01807697"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel. Modern Compiler Implementation in ML. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9780511811449"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel and David B. MacQueen. Standard ML of new jersey. In Third International Symposium on Programming Language Implementation and Logic Programming, pages 1\u201313. Springer-Verlag, August 1991.","DOI":"10.1007\/3-540-54444-5_83"},{"key":"4_CR5","unstructured":"Andrew W. Appel et al. The national compiler infrastructure project."},{"key":"4_CR6","unstructured":"Robert P. Wilson et al. SUIF: An infrastructure for research on parallelizing and optimizing compilers. Technical report, Computer Systems Laboratory, Stanford University."},{"key":"4_CR7","unstructured":"Lal George. Personal Communication."},{"key":"4_CR8","unstructured":"Lal George. MLRISC: Customizable and reusable code generators. Technical report, Bell Labs, December 1996. submitted to PLDI."},{"issue":"3","key":"4_CR9","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1145\/229542.229546","volume":"18","author":"L. George","year":"1996","unstructured":"Lal George and Andrew W. Appel. Iterated register coalescing. ACM Transactions on Programming Languages and Systems, 18(3): 300\u2013324, May 1996.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Robert Harper and Greg Morrisett. Compiling polymorphism using intensional type analysis. In Conference Record of the 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 130\u2013141. ACM, January 1995.","DOI":"10.1145\/199448.199475"},{"key":"4_CR11","unstructured":"Robert Harper and Chris Stone. A type-theroretic interpretation of standard ML. Technical report, Carnegie Mellon University, 1997. submitted for publication."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From system F to typed assembly language. In Conference Record of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 85\u201397. ACM, January 1998.","DOI":"10.1145\/268946.268954"},{"key":"4_CR13","unstructured":"J. Gregory Morrisett. Compiling with Types. PhD thesis, Carnegie Mellon University, December 1995. Published as CMU Technical Report CMU-CS-95-226."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"George C. Necula. Proof-carrying code. In Conference Record of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, January 1997.","DOI":"10.1145\/263699.263712"},{"key":"4_CR15","volume-title":"The design and implementation of a certifying compiler","author":"G. C. Necula","year":"1998","unstructured":"George C. Necula and Peter Lee. The design and implementation of a certifying compiler. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implemantation, New York, 1998. ACM Press."},{"key":"4_CR16","unstructured":"Zhong Shao and Andrew W. Appel. Space-efficient closure representations. In Conference on Lisp and Functional programming, June 94."},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"181","DOI":"10.21236\/ADA306265","volume-title":"TIL: A type-directed optimizing compiler for ML","author":"D. Tarditi","year":"1996","unstructured":"D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implemantation, pages 181\u2013192, New York, May21\u201324 1996. ACM Press."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Andrew Tolmach. Tag-free garbage collection using explicit type parameters. In Proceedings 1994 ACM Conference on Lisp and Functional Programming, June 1994.","DOI":"10.1145\/182409.182411"}],"container-title":["Lecture Notes in Computer Science","Types in Compilation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055512","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T15:52:27Z","timestamp":1578498747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055512"}},"subtitle":["Preliminary Report"],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649250","9783540683087"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0055512","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"28 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}