P. Altherr, A Typed Intermediate Language and Algorithms for Compiling Scala by Successive Rewritings, 2006.

P. Altherr and V. Cremet, Inner Classes and Virtual Types, 2005.

D. Ancona and E. Zucca, A Primitive Calculus for Module Systems, Principles and Practice of Declarative Programming, 1999.
DOI : 10.1007/10704567_4

D. Ancona and E. Zucca, A calculus of module systems, Journal of Functional Programming, vol.12, issue.02, 2002.
DOI : 10.1017/S0956796801004257

G. Bracha, The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance, 1992.

G. Bracha and G. Lindstrom, Modularity meets inheritance, Proceedings of the 1992 International Conference on Computer Languages, pp.282-290, 1992.
DOI : 10.1109/ICCL.1992.185492
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.8782

K. Bruce, Some Challenging Typing Issues in Object-Oriented Languages, Electronic notes in Theoretical Computer Science, 2003.
DOI : 10.1016/S1571-0661(04)80799-0

K. B. Bruce, M. Odersky, and P. Wadler, A statical safe alternative to virtual types, Proceedings of the 5th International Workshop on Foundations of Object-Oriented Languages, 1998.

K. Crary, R. Harper, and S. Puri, What is a recursive module, SIGPLAN Conference on Programming Language Design and Implementation, pp.50-63, 1999.

V. Cremet, Foundations for Scala: Semantics and Proof of Virtual Types, 2006.

E. Ernst, gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance, DAIMI Report Series, vol.29, issue.549, 1999.
DOI : 10.7146/dpb.v29i549.7654

E. Ernst, Family Polymorphism, Proceedings of the European Conference on Object- Oriented Programming, pp.303-326, 2001.
DOI : 10.1007/3-540-45337-7_17

E. Ernst, K. Ostermann, and W. Cook, A virtual class calculus, ACM Symposium on Principles of Programming Languages (POPL'06), 2006.

J. Garrigue, Code reuse through polymorphic variants, Workshop on Foundations of Software Engineering, 2000.

R. Harper and M. Lillibridge, A type-theoretic approach to higher-order modules with sharing, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, 1994.
DOI : 10.1145/174675.176927

T. Hirschowitz and X. Leroy, Mixin modules in a call-by-value setting, European Symposium on Programming, pp.6-20, 2002.
DOI : 10.1145/1086642.1086644
URL : https://hal.archives-ouvertes.fr/hal-00310119

A. Igarashi and B. C. Pierce, Foundations for Virtual Types, Information and Computation, vol.175, issue.1, pp.34-49, 2002.
DOI : 10.1006/inco.2001.2942

A. Igarashi and B. C. Pierce, On Inner Classes, Information and Computation, vol.177, issue.1, pp.56-89, 2002.
DOI : 10.1006/inco.2002.3092

A. Igarishi, B. Pierce, and P. Wadler, Featherweight Java: a minimal core calculus for Java and GJ, Proc. OOPSLA, 1999.
DOI : 10.1145/503502.503505

P. Jolly, S. Drossopoulou, C. Anderson, and K. Ostermann, Simple dependent types: Concord, Proc. FTfJP, 2004.

X. Leroy, Abstract, ACM Symposium on Principles of Programming Languages (POPL), 1994.
DOI : 10.1017/S0956796800001933
URL : https://hal.archives-ouvertes.fr/hal-01499980

O. L. Madsen, B. Møller-pedersen, and K. Nygaard, Object-Oriented Programming in the BETA Programming Language, 1993.

K. Nakata, A. Ito, and J. Garrigue, Recursive object-oriented modules, Proc. FOOL 12, 2005.

N. Nystrom, S. Chong, and A. Myers, Scalable extensibility via nested inheritance, Proc. OOPSLA, pp.99-115, 2005.

M. Odersky, V. Cremet, C. Röckl, and M. Zenger, A Nominal Theory of Objects with Dependent Types, Proc. ECOOP'03, 2003.
DOI : 10.1007/978-3-540-45070-2_10

M. Odersky, C. Zenger, and M. Zenger, Colored local type inference, Proceedings of the 28th ACM Symposium on Principles of Programming Languages, pp.41-53, 2001.

M. Odersky and M. Zenger, Independently extensible solutions to the expression problem, Proc. FOOL 12, 2005.

M. Odersky and M. Zenger, Scalable component abstractions, Proc. OOPSLA, 2005.

B. C. Pierce, Bounded quantification is undecidable. Information and Computation, pp.131-165, 1994.

B. C. Pierce and D. N. Turner, Local type inference, Proc. POPL, 1998.

D. Rémy and J. Vuillon, On the (un)reality of virtual types, 2000.

M. Torgersen, Virtual types are statically safe, 5th Workshop on Foundations of Object- Oriented Languages, 1998.

M. Torgersen, The Expression Problem Revisited, Proc. ECOOP, pp.123-143, 2004.
DOI : 10.1007/978-3-540-24851-4_6

M. Torgersen, C. P. Hansen, E. Ernst, P. Der-ahé, G. Bracha et al., Adding wildcards to the Java programming language, Proceedings of the 2004 ACM symposium on Applied computing , SAC '04, pp.1289-1296, 2004.
DOI : 10.1145/967900.968162

S. Zdancewic, Type inference for Java 5: Wildcards, F-bounds, and undecidability, 2006.