{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:27Z","timestamp":1751983647752},"publisher-location":"Berlin, Heidelberg","reference-count":20,"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\/bfb0055510","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T16:48:16Z","timestamp":1154018896000},"page":"9-27","source":"Crossref","is-referenced-by-count":6,"title":["Compiling Java to a typed lambda-calculus: A preliminary report"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Wright","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Ungureanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aaron","family":"Hertzmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., and Cardelli, L. A Theory of Objects. Springer-Verlag, 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L., and Viswanathan, R. An Interpretation of Objects and Object Types. In Proceedings of the Conference on Principles of Programming Languages (1996), pp. 392\u2013406.","DOI":"10.1145\/237721.237809"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Appel, A. W. Compiling with Continuations. Cambridge University Press, 1991.","DOI":"10.1017\/CBO9780511609619"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bacon, D., and Sweeney, P. Fast static analysis of C++ virtual function calls. OOPSLA\u201996 Conference on Object-Oriented Programming Systems, Languages, and Applications (1996).","DOI":"10.1145\/236337.236371"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Bruce, K. B., Cardelli, L., and Pierce, B. C. Comparing Object Encodings. In Theoretical Aspects of Computer Software (TACS), Sendai, Japan (Sept. 1997).","DOI":"10.1007\/BFb0014561"},{"key":"2_CR6","unstructured":"Chambers, C. The Design and Implementation of the SELF Compiler, an Optimizing Compiler for Object-Oriented Programming Languages. PhD thesis, Stanford University, March 1992."},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"4","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B. K., Wegman, M. N., and Zadeck, F. K. Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. TOPLAS 13, 4 (October 1991), 451\u2013490.","journal-title":"TOPLAS 13"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Dean, J., DeFouw, G., Grove, D., Litvinov, V., and Chambers, C. Vortex: An optimizing compiler for object-oriented languages. OOPSLA\u201996 Conference on Object-Oriented Programming Systems, Languages, and Applications (1996), 83\u2013100.","DOI":"10.1145\/236338.236344"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Dean, J., Grove, D., and Chambers, C. Optimization of object-oriented programs using static class hierarchy analysis. ECOOP (1995).","DOI":"10.1007\/3-540-49538-X_5"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Diwan, A., Moss, E., and McKinley, K. Simple and effective analysis of statically-typed object-oriented programs. OOPSLA\u201996 Conference on ObjectOriented Programming Systems, Languages, and Applications (1996).","DOI":"10.1145\/236337.236367"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Fernandez, M. F. Simple and effective link-time optimization of modula-3 programs. Proceedings of the Conference on Programming Language Design and Implementation (1995), 103\u2013115.","DOI":"10.1145\/207110.207121"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"H\u00f6lzle, U., and Agesen, O. Dynamic versus static optimization techniques for object-oriented languages. OOPSLA\u201995 Conference on Object-Oriented Programming Systems, Languages, and Applications (1995).","DOI":"10.1002\/j.1096-9942.1995.tb00017.x"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Kranz, D., Kelsey, R., Rees, J. A., Hudak, P., Philbin, J., and Adams, N. I. Orbit: An optimizing compiler for scheme. ACM SIGPLAN Conference Proceedings (1986).","DOI":"10.1145\/12276.13333"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Palsberg, J., and Schwartzbach, M. I. Object-oriented type inference. 00PSLA \u201991 Conference on Object-Oriented Programming Systems, Languages, and Applications (1991), 146\u2013161.","DOI":"10.1145\/117954.117965"},{"key":"2_CR15","unstructured":"Peyton-Jones, S., Launchbury, J., Shields, M., and Tolmach, A. Briding the gulf: A common intermediate language for ML and Haskell. In Proceedings of the Conference on Principles of Programming Languages (1998), ACM Press, pp. 49\u201361."},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1017\/S0956796800001040","volume":"2","author":"B. C. Pierce","year":"1994","unstructured":"Pierce, B. C., and Turner, D. N. Simple type-theoretic foundations for objectoriented programming. Journal of Functional Programming 4, 2 (Apr. 1994), 207\u2013247. A preliminary version appeared in Principles of Programming Languages, 1993, and as University of Edinburgh technical report ECS-LFCS-92-225, under the title \u201cObject-Oriented Programming Without Recursive Types\u201d.","journal-title":"Journal of Functional Programming 4"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Plevyak, J., and Chien, A. A. Precise concrete type inference for object-oriented languages. OOPSLA \u201994 Object-Oriented Programming Systems, Language, and Applications (1994), 324\u2013340.","DOI":"10.1145\/191080.191130"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Shao, Z. Flexible Representation Analysis. In Proceedings of the International Conference on Functional Programming (1997), ACM Press, pp. 85\u201398.","DOI":"10.1145\/258948.258958"},{"key":"2_CR19","unstructured":"Steele Jr., G. L. Rabbit: a compiler for scheme. Master\u2019s thesis, Massachusetts Institute of Technology, May 1977."},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Tarditi, D., Morrisett, G., Cheng, P., Stone, C, Harper, R., and Lee, P. TIL: A Type-Directed Optimizing Compiler for ML. In Proceedings of the Conference on Programming Language Design and Implementation (1996), ACM Press, pp. 181\u2013192.","DOI":"10.1145\/231379.231414"}],"container-title":["Lecture Notes in Computer Science","Types in Compilation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055510","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T10:35:22Z","timestamp":1587119722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055510"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649250","9783540683087"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0055510","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}