{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:09:17Z","timestamp":1763467757276},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540377917"},{"type":"electronic","value":"9783540377931"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11821069_1","type":"book-chapter","created":{"date-parts":[[2006,8,25]],"date-time":"2006-08-25T06:25:12Z","timestamp":1156487112000},"page":"1-23","source":"Crossref","is-referenced-by-count":31,"title":["A Core Calculus for Scala Type Checking"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Cremet","sequence":"first","affiliation":[]},{"given":"Fran\u00e7ois","family":"Garillot","sequence":"additional","affiliation":[]},{"given":"Sergue\u00ef","family":"Lenglet","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Odersky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Altherr, P.: A Typed Intermediate Language and Algorithms for Compiling Scala by Successive Rewritings. PhD thesis, EPFL, No. 3509 (March 2006)"},{"key":"1_CR2","unstructured":"Altherr, P., Cremet, V.: Inner Classes and Virtual Types. EPFL Technical Report IC\/2005\/013 (March 2005)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10704567_4","volume-title":"Principles and Practice of Declarative Programming","author":"D. Ancona","year":"1999","unstructured":"Ancona, D., Zucca, E.: A primitive calculus for module systems. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702. Springer, Heidelberg (1999)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Ancona, D., Zucca, E.: A calculus of module systems. Journal of Functional Programming (2002)","DOI":"10.1017\/S0956796801004257"},{"key":"1_CR5","unstructured":"Bracha, G.: The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. PhD thesis, University of Utah (1992)"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1109\/ICCL.1992.185492","volume-title":"Proceedings of the IEEE Computer Society International Conference on Computer Languages","author":"G. Bracha","year":"1992","unstructured":"Bracha, G., Lindstrom, G.: Modularity meets inheritance. In: Proceedings of the IEEE Computer Society International Conference on Computer Languages, Washington, DC, pp. 282\u2013290. IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Bruce, K.: Some challenging typing issues in object-oriented languages. Electronic notes in Theoretical Computer Science\u00a082(8) (2003)","DOI":"10.1016\/S1571-0661(04)80799-0"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Bruce, K.B., Odersky, M., Wadler, P.: A statical safe alternative to virtual types. In: Proceedings of the 5th International Workshop on Foundations of Object-Oriented Languages, San Diego, USA (1998)","DOI":"10.1007\/BFb0054106"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Crary, K., Harper, R., Puri, S.: What is a recursive module? In: SIGPLAN Conference on Programming Language Design and Implementation, pp. 50\u201363 (1999)","DOI":"10.1145\/301618.301641"},{"key":"1_CR10","unstructured":"Cremet, V.: Foundations for Scala: Semantics and Proof of Virtual Types. PhD thesis, EPFL, No. 3556 (May 2006)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Ernst, E.: gBeta: A language with virtual attributes, block structure and propagating, dynamic inheritance. PhD thesis, Department of Computer Science, University of Aarhus, Denmark (1999)","DOI":"10.7146\/dpb.v29i549.7654"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Ernst, E.: Family polymorphism. In: Proceedings of the European Conference on Object-Oriented Programming, Budapest, Hungary, pp. 303\u2013326 (2001)","DOI":"10.1007\/3-540-45337-7_17"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Ernst, E., Ostermann, K., Cook, W.: A virtual class calculus. In: ACM Symposium on Principles of Programming Languages (POPL 2006) (January 2006)","DOI":"10.1145\/1111037.1111062"},{"key":"1_CR14","unstructured":"Garrigue, J.: Code reuse through polymorphic variants. In: Workshop on Foundations of Software Engineering, Sasaguri, Japan (November 2000)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Harper, R., Lillibridge, M.: A type-theoretic approach to higher-order modules with sharing. In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (January 1994)","DOI":"10.1145\/174675.176927"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Hirschowitz, T., Leroy, X.: Mixin modules in a call-by-value setting. In: European Symposium on Programming, pp. 6\u201320 (2002)","DOI":"10.1007\/3-540-45927-8_2"},{"issue":"1","key":"1_CR17","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1006\/inco.2001.2942","volume":"175","author":"A. Igarashi","year":"2002","unstructured":"Igarashi, A., Pierce, B.C.: Foundations for virtual types. Information and Computation\u00a0175(1), 34\u201349 (2002)","journal-title":"Information and Computation"},{"issue":"1","key":"1_CR18","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1006\/inco.2002.3092","volume":"177","author":"A. Igarashi","year":"2002","unstructured":"Igarashi, A., Pierce, B.C.: On inner classes. Inf. Comput.\u00a0177(1), 56\u201389 (2002)","journal-title":"Inf. Comput."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Igarishi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. In: Proc. OOPSLA (November 1999)","DOI":"10.1145\/320384.320395"},{"key":"1_CR20","unstructured":"Jolly, P., Drossopoulou, S., Anderson, C., Ostermann, K.: Simple dependent types: Concord. In: Proc. FTfJP (2004)"},{"key":"1_CR21","unstructured":"Leroy, X.: A syntactic theory of type generativity and sharing. In: ACM Symposium on Principles of Programming Languages (POPL), Portland, Oregon (1994)"},{"key":"1_CR22","volume-title":"Object-Oriented Programming in the BETA Programming Language","author":"O.L. Madsen","year":"1993","unstructured":"Madsen, O.L., M\u00f8ller-Pedersen, B., Nygaard, K.: Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, Reading (1993)"},{"key":"1_CR23","unstructured":"Nakata, K., Ito, A., Garrigue, J.: Recursive object-oriented modules. In: Proc. FOOL 12 (January 2005)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Nystrom, N., Chong, S., Myers, A.: Scalable extensibility via nested inheritance. In: Proc. OOPSLA, pp. 99\u2013115 (2005)","DOI":"10.1145\/1035292.1028986"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_10","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"M. Odersky","year":"2003","unstructured":"Odersky, M., Cremet, V., R\u00f6ckl, C., Zenger, M.: A nominal theory of objects with dependent types. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743. Springer, Heidelberg (2003)"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Odersky, M., Zenger, C., Zenger, M.: Colored local type inference. In: Proceedings of the 28th ACM Symposium on Principles of Programming Languages, January 2001, pp. 41\u201353 (2001)","DOI":"10.1145\/360204.360207"},{"key":"1_CR27","unstructured":"Odersky, M., Zenger, M.: Independently extensible solutions to the expression problem. In: Proc. FOOL 12 (January 2005), http:\/\/homepages.inf.ed.ac.uk\/wadler\/fool"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Odersky, M., Zenger, M.: Scalable component abstractions. In: Proc. OOPSLA (2005)","DOI":"10.1145\/1094811.1094815"},{"issue":"1","key":"1_CR29","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1994.1055","volume":"112","author":"B.C. Pierce","year":"1994","unstructured":"Pierce, B.C.: Bounded quantification is undecidable. Information and Computation\u00a0112(1), 131\u2013165 (1994)","journal-title":"Information and Computation"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Pierce, B.C., Turner, D.N.: Local type inference. In: Proc. POPL (1998)","DOI":"10.1145\/268946.268967"},{"key":"1_CR31","unstructured":"R\u00e9my, D., Vuillon, J.: On the (un)reality of virtual types (March 2000), available from http:\/\/pauillac.inria.fr\/remy\/work\/virtual"},{"key":"1_CR32","unstructured":"Torgersen, M.: Virtual types are statically safe. In: 5th Workshop on Foundations of Object-Oriented Languages, San Diego, CA, USA (January 1998)"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-540-24851-4_6","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"M. Torgersen","year":"2004","unstructured":"Torgersen, M.: The expression problem revisited: Four new solutions using generics. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 123\u2013146. Springer, Heidelberg (2004)"},{"key":"1_CR34","first-page":"1289","volume-title":"Proceedings SAC 2004","author":"M. Torgersen","year":"2004","unstructured":"Torgersen, M., Hansen, C.P., Ernst, E., von der Ah\u00e9, P., Bracha, G., Gafter, N.: Adding wildcards to the Java programming language. In: Proceedings SAC 2004, Nicosia, Cyprus, pp. 1289\u20131296. ACM Press, New York (2004)"},{"key":"1_CR35","unstructured":"Zdancewic, S.: Type inference for Java 5: Wildcards, F-bounds, and undecidability (2006), http:\/\/www.cis.upenn.edu\/~stevez\/note.html"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11821069_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:16:30Z","timestamp":1605626190000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11821069_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540377917","9783540377931"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/11821069_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}