{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:34:53Z","timestamp":1725467693004},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649250"},{"type":"electronic","value":"9783540683087"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055509","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T20:48:16Z","timestamp":1154033296000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Introduction"],"prefix":"10.1007","author":[{"given":"Xavier","family":"Leroy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Ole Agesen, Jens Palsberg, and Michael Schwartzback. Type inference of Self: analysis of objects with dynamic and multiple inheritance. In Proc. European Conference on Object-Oriented Programming \u2014 ECOOP\u201993, 1993.","DOI":"10.7146\/dpb.v22i436.6753"},{"key":"1_CR2","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: principles, techniques, and tools. Addison-Wesley, 1986."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Alexander S. Aiken and Edward L. Wimmers. Type inclusion constraints and type inference. In Functional Programming Languages and Computer Architecture 1993, pages 31\u201341. ACM Press, 1993.","DOI":"10.1145\/165180.165188"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel. Run-time tags aren\u2019t necessary. Lisp and Symbolic Computation, 2(2), 1989.","DOI":"10.1007\/BF01811537"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"David Bacon and Peter Sweeney. Fast static analysis of C++ virtual function calls. In Object-Oriented Programming Systems, Languages and Applications \u201996, pages 324\u2013341. ACM Press, 1996.","DOI":"10.1145\/236338.236371"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Henry G. Baker. Unify and conquer (garbage, updating, aliasing,...) in functional languages. In Lisp and Functional Programming 1990. ACM Press, 1990.","DOI":"10.1145\/91556.91652"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Anindya Banerjee. A modular, polyvariant, and type-based closure analysis. In International Conference on Functional Programming 1997, pages 1\u201310. ACM Press, 1997.","DOI":"10.1145\/258948.258951"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Lars Birkedal, Mads Tofte, and Magnus Vejlstrup. From region inference to von Neumann machines via region representation inference. In 23rd symposium Principles of Programming Languages, pages 171\u2013183. ACM Press, 1996.","DOI":"10.1145\/237721.237771"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Patrick Cousot. Types as abstract interpretations. In 24th symposium Principles of Programming Languages, pages 316\u2013331. ACM Press, 1997.","DOI":"10.1145\/263699.263744"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Jeffrey Dean, David Grove, and Craig Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In Proc. European Conference on Object-Oriented Programming \u2014 ECOOP\u201995, pages 77\u2013101. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-49538-X_5"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Greg DeFouw, David Grove, and Craig Chambers. Fast interprocedural class analysis. In 25th symposium Principles of Programming Languages, pages 222\u2013236. ACM Press, 1998.","DOI":"10.1145\/268946.268965"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Allyn Dimock, Robert Muller, Franklyn Turbak, and J. B. Wells. Strongly typed flow-directed representation transformations. In International Conference on Functional Programming 1997, pages 11\u201324. ACM Press, 1997.","DOI":"10.1145\/258949.258952"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Amer Diwan, Kathryn S. McKinley, and J. Eliot B. Moss. Type-based alias analysis. In Programming Language Design and Implementation 1998, pages 106\u2013117. ACM Press, 1998.","DOI":"10.1145\/277652.277670"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Jonathan Eifrig, Scott Smith, and Valery Trifonov. Type inference for recursively constrained types and its application to OOP. In Mathematical Foundations of Programming Semantics, volume 1 of Electronic Notes in Theoretical Computer Science. Elsevier, 1995.","DOI":"10.1016\/S1571-0661(04)80008-2"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Mary F. Fern\u00e1ndez. Simple and effective link-time optimization of Modula-3 programs. In Programming Language Design and Implementation 1995, pages 103\u2013115. ACM Press, 1995.","DOI":"10.1145\/223428.207121"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Robert Harper and Greg Morriset. Compiling polymorphism using intensional type analysis. In 22nd symposium Principles of Programming Languages ACM Press, 1995.","DOI":"10.1145\/199448.199475"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Nevin Heintze. Set-based analysis of ML programs. In Lisp and Functional Programming \u201994, pages 306\u2013317. ACM Press, 1994.","DOI":"10.1145\/182409.182495"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Fritz Henglein. Global tagging optimization by type inference. In Lisp and Functional Programming 1992. ACM Press, 1992.","DOI":"10.1145\/141471.141542"},{"issue":"1","key":"1_CR19","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1145\/271510.271523","volume":"20","author":"S. Jagannathan","year":"1998","unstructured":"Suresh Jagannathan and Andrew Wright. Polymorphic splitting: An effective polyvariant flow analysis. ACM Transactions on Programming Languages and Systems, 20(1): 166\u2013207, 1998.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Pierre Jouvelot and David K. Gifford. Algebraic reconstruction of types and effects. In 18th symposium Principles of Programming Languages, pages 303\u2013310. ACM Press, 1991.","DOI":"10.1145\/99583.99623"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Xavier Leroy. Unboxed objects and polymorphic typing. In 19th symposium Principles of Programming Languages, pages 177\u2013188. ACM Press, 1992.","DOI":"10.1145\/143165.143205"},{"key":"1_CR22","unstructured":"Xavier Leroy. The effectiveness of type-based unboxing. In Workshop Types in Compilation \u201997. Technical report BCCS-97-03, Boston College, Computer Science Department, June 1997."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"John M. Lucassen and David K. Gifford. Polymorphic effect systems. In 15th symposium Principles of Programming Languages, pages 47\u201357. ACM Press, 1988.","DOI":"10.1145\/73560.73564"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Yasuhiko Minamide, Greg Morrisett, and Robert Harper. Typed closure conversion. In 23rd symposium Principles of Programming Languages, pages 271\u2013283. ACM Press, 1996.","DOI":"10.1145\/237721.237791"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"John C. Mitchell. Coercion and type inference. In 11th symposium Principles of Programming Languages, pages 175\u2013185. ACM Press, 1984.","DOI":"10.1145\/800017.800529"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"George C. Necula. Proof-carrying code. In 24th symposium Principles of Programming Languages, pages 106\u2013119. ACM Press, 1997.","DOI":"10.1145\/263699.263712"},{"issue":"6","key":"1_CR27","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1145\/218570.218572","volume":"17","author":"A. Ohori","year":"1995","unstructured":"Atsushi Ohori. A polymorphic record calculus. ACM Transactions on Programming Languages and Systems, 17(6): 844\u2013895, 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"1_CR28","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1023\/A:1007730624053","volume":"10","author":"A. Ohori","year":"1997","unstructured":"Atsushi Ohori and Tomonobu Takamizawa. An unboxed operational semantics for ML polymorphism. Lisp and Symbolic Computation, 10(1): 61\u201391, 1997.","journal-title":"Lisp and Symbolic Computation"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Jens Palsberg and Patrick O\u2019Keefe. A type system equivalent to flow analysis. In 22nd symposium Principles of Programming Languages, pages 367\u2013378. ACM Press, 1995.","DOI":"10.1145\/199448.199533"},{"key":"1_CR30","unstructured":"Simon L. Peyton-Jones. Compiling Haskell by program transformation: a report from the trenches. In European Symposium on Programming 1996, volume 1058 of Lecture Notes in Computer Science. Springer-Verlag, 1996."},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Simon L. Peyton-Jones and John Launchbury. Unboxed values as first-class citizens in a non-strict functional language. In Functional Programming Languages and Computer Architecture 1991, volume 523 of Lecture Notes in Computer Science, pages 636\u2013666, 1991.","DOI":"10.1007\/3540543961_30"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"John Plevyak and Andrew Chien. Precise concrete type inference for objectoriented languages. In Object-Oriented Programming Systems, Languages and Applications \u201994, pages 324\u2013340. ACM Press, 1994.","DOI":"10.1145\/191080.191130"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Zhong Shao. Flexible representation analysis. In International Conference on Functional Programming 1997, pages 85\u201398. ACM Press, 1997.","DOI":"10.1145\/258948.258958"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Zhong Shao and Andrew Appel. A type-based compiler for Standard ML. In Programming Language Design and Implementation 1995, pages 116\u2013129. ACM Press, 1995.","DOI":"10.1145\/207110.207123"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Olin Shivers. Control-flow analysis in Scheme. In Programming Language Design and Implementation 1988, pages 164\u2013174. ACM Press, 1988.","DOI":"10.1145\/53990.54007"},{"key":"1_CR36","unstructured":"Olin Shivers. Control-Flow Analysis of Higher-Order Languages. PhD thesis, Carnegie Mellon University, May 1991."},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Bjarne Steensgaard. Points-to analysis in almost linear time. In 23rd symposium Principles of Programming Languages, pages 32\u201341. ACM Press, 1996.","DOI":"10.1145\/237721.237727"},{"issue":"2","key":"1_CR38","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1006\/inco.1994.1046","volume":"111","author":"J. Talpin","year":"1994","unstructured":"Jean-Pierre Talpin and Pierre Jouvelot. The type and effect discipline. Information and Computation, 111(2): 245\u2013296, 1994.","journal-title":"Information and Computation"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: a type-directed optimizing compiler for ML. In Programming Language Design and Implementation 1996, pages 181\u2013192. ACM Press, 1996.","DOI":"10.1145\/231379.231414"},{"issue":"2","key":"1_CR40","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"Mads Tofte and Jean-Pierre Talpin. Region-based memory management. Information and Computation, 132(2): 109\u2013176, 1997.","journal-title":"Information and Computation"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Philip Wadler and Stephen Blott. How to make ad-hoc polymorphism less adhoc. In 16th symposium Principles of Programming Languages, pages 60\u201376. ACM Press, 1989.","DOI":"10.1145\/75277.75283"}],"container-title":["Lecture Notes in Computer Science","Types in Compilation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055509","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T09:07:45Z","timestamp":1555751265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055509"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649250","9783540683087"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/bfb0055509","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}