O. Agesen, S. Freund, M. , and J. , Adding type parameterization to Java, pp.49-65, 1997.

B. Alpern, A. Cocchi, G. , and D. , Dynamic type checking in Jalapeño, USENIX Java Virtual Machine Research and Technology Symposium (JVM'01), 2001.

D. Ancona, G. Lagorio, and E. Zucca, Jam - A Smooth Extension of Java with Mixins, See Bertino, pp.154-178, 2000.
DOI : 10.1007/3-540-45102-1_8

P. André and J. Royer, Optimizing method search with lookup caches and incremental coloring, Proc. OOPSLA'92, pp.110-126, 1992.

D. Bacon, S. Fink, G. , and D. , Space- and Time-Efficient Implementation of the Java Object Model, Proc. ECOOP'2002, J. M. Troya, Ed. LNCS, 2002.
DOI : 10.1007/3-540-47993-7_5

D. Bacon and P. Sweeney, Fast static analysis of C++ virtual function calls, Proc. OOPSLA'96. SIGPLAN Notices, pp.31-324, 1996.

M. Biberstein, J. Gil, and S. Porat, Sealing, encapsulation and mutability, Proc. ECOOP'2001, pp.28-52, 2001.
DOI : 10.1007/3-540-45337-7_3

H. Boehm, Space-efficient conservative garbage collection, Proc. ACM Conf. on Programming Language Design and Implementation (PLDI'93). ACM SIGPLAN Notices, pp.197-206, 1993.
DOI : 10.1145/155090.155109
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.8180

G. Bracha and W. Cook, Mixin-based inheritance, Proc. OOPSLA/ECOOP'90. SIGPLAN Notices, pp.303-311, 1990.
DOI : 10.1145/97945.97982
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.4510

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

G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler, Making the future safe for the past: Adding genericity to the Java programming language, pp.183-200, 1998.

K. B. Bruce, L. Petersen, and A. Fiech, Subtyping is not a good " match " for objectoriented languages, Proc. ECOOP'97, pp.104-127, 1997.

B. Calder and D. Grunwald, Reducing indirect function call overhead in C++ programs, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, pp.397-408, 1994.
DOI : 10.1145/174675.177973

T. A. Cargill, Controversy: The case against multiple inheritance in C++, Computing Systems, vol.4, issue.1, pp.69-82, 1991.

R. Cartwright and G. Steele, Compatible genericity with run-time types for the Java programming language, pp.201-215, 1998.

G. Castagna, Covariance and contravariance: conflict without a cause, ACM Transactions on Programming Languages and Systems, vol.17, issue.3, pp.431-437, 1995.
DOI : 10.1145/203095.203096

G. Castagna, Object-Oriented Programming: A Unified Foundation, Progress in Theorical Computer Science. Birkhäuser, 1997.
DOI : 10.1007/978-1-4612-4138-6

C. Chambers and D. Ungar, Customization: Optimizing compiler technology for SELF, a dynamically-typed object-oriented language, Proc. OOPSLA'89, pp.146-160, 1989.

N. Cohen, Type-extension type tests can be performed in constant time. Programming languages and systems 13, pp.626-629, 1991.

S. Collin, D. Colnet, and O. Zendra, Type inference for late binding: The SmallEiffel Compiler, Joint Modular Languages Conference, pp.67-81, 1997.
DOI : 10.1007/3-540-62599-2_31
URL : https://hal.archives-ouvertes.fr/inria-00563353

D. Colnet, P. Coucaud, and O. Zendra, Compiler support to customize the mark and sweep algorithm, ACM Sigplan International Symposium on Memory Management (ISMM'98, pp.154-165, 1998.

W. R. Cook, A Proposal for Making Eiffel Type-safe, Proc. ECOOP'89, pp.57-70, 1989.
DOI : 10.1093/comjnl/32.4.305

M. Day, R. Gruber, B. Liskov, and A. Myers, Subtypes vs. where clauses. constraining parametric polymorphism, Proc. OOPSLA'95, pp.156-168, 1995.
DOI : 10.1145/217838.217852
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.8601

R. Dixon, T. Mckee, P. Schweitzer, and M. Vaughan, A fast method dispatcher for compiled languages with multiple inheritance, Proc. OOPSLA'89, 1989.

K. Driesen, Software and hardware techniques for efficient polymorphic calls, 1999.

K. Driesen and U. Hölzle, Minimizing row displacement dispatch tables, Proc. OOPSLA'95. SIGPLAN Notices, pp.141-155, 1995.
DOI : 10.1145/217838.217851

K. Driesen, U. Hölzle, and J. Vitek, Message Dispatch on Pipelined Processors, Proc. ECOOP'95, W. Olthoff, Ed. LNCS 952, pp.253-282, 1995.
DOI : 10.1007/3-540-49538-X_13

R. Ducournau, Yet Another Frame-based Object-Oriented Language: YAFOOL Reference Manual, Sema Group, 1991.

R. Ducournau, La compilation de l'envoi de message dans les langages dynamiques, pp.241-276, 1997.

R. Ducournau, La coloration pour l'implémentation des langagesàlangagesà objetsàobjetsà typage statique, Actes LMO'2002 in L'Objet Hermès, pp.79-98, 2002.
DOI : 10.3166/objet.8.1-2.79-98

R. Ducournau, ???Real World??? as an Argument for Covariant Specialization in Programming and Modeling, Advances in Object-Oriented Information Systems, OOIS'02 Workshops Proc., J.-M. Bruel and Z. Bellahsène, Eds. LNCS 2426, pp.3-12, 2002.
DOI : 10.1007/3-540-46105-1_2

R. Ducournau, M. Habib, M. Huchard, and M. Mugnier, Proposal for a monotonic multiple inheritance linearization, Proc. OOPSLA'94, 1994.

N. Eckel and J. Gil, Empirical Study of Object-Layout Strategies and Optimization Techniques, See Bertino, pp.394-421, 2000.
DOI : 10.1007/3-540-45102-1_20

M. Ellis and B. Stroustrup, The Annotated C++ Reference Manual, 1990.

E. Ernst, Call by declaration, Proc. ECOOP'2002 Inheritance Workshop, pp.44-50, 2002.

E. M. Gagnon and L. Hendren, SableVM: A research framework for the efficient execution of Java bytecode, USENIX Java Virtual Machine Research and Technology Symposium (JVM'01), 2001.

M. Garey and D. Johnson, Computers and Intractability. A Guide to the Theory of NP-Completeness, 1979.

J. Gil and A. Itai, The complexity of type analysis of object oriented programs, Proc. ECOOP'98, pp.601-634, 1998.
DOI : 10.1007/BFb0054109

J. Gil and P. Sweeney, Space and time-efficient memory layout for multiple inheritance, pp.256-275, 1999.

A. Goldberg and D. Robson, Smalltalk-80, the Language and its Implementation, 1983.

J. Gosling, B. Joy, and G. Steele, The JAVA Language Specification, 1996.

M. Grand, JAVA Language Reference, 1997.

D. Grove and C. Chambers, A framework for call graph construction algorithms, ACM Transactions on Programming Languages and Systems, vol.23, issue.6, pp.685-746, 2001.
DOI : 10.1145/506315.506316

U. Hölzle, C. Chambers, and D. Ungar, Optimizing dynamically-typed object-oriented languages with polymorphic inline caches, pp.21-38, 1991.

M. Huchard and H. Leblanc, Computing interfaces in Java, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.317-320, 2000.
DOI : 10.1109/ASE.2000.873687

A. Koenig, Standard ? the C++ language Information Technology Council (NCTIS), Report ISOIEC, vol.14882, 1998.

A. Krall and R. Grafl, CACAO ??? A 64-bit JavaVM just-in-time compiler, Concurrency: Practice and Experience, vol.9, issue.11, pp.1017-1030, 1997.
DOI : 10.1002/(SICI)1096-9128(199711)9:11<1017::AID-CPE347>3.0.CO;2-0

B. Kristensen, O. Lehrmann-madsen, B. Møller-pedersen, and K. Nygaard, The BETA Programming Language, Research Directions in Object Oriented Programming, pp.7-48, 1987.
DOI : 10.7146/dpb.v16i229.7578

S. Krogdahl, Multiple inheritance in Simula-like languages, BIT, vol.25, issue.2, pp.318-326, 1985.
DOI : 10.1007/BF01934377

A. Lalande, Vocabulaire technique et critique de la philosophie, 1926.

S. Lippman, Inside the C++ Object Model, 1996.

B. Liskov, D. Curtis, M. Day, S. Ghemawat, R. Gruber et al., THETA reference manual, 1995.

B. Meyer, Eiffel: The Language. Prentice Hall Object-Oriented Series, 1992.

B. Meyer, Object-Oriented Software Construction, second ed. The Object-Oriented Series, 1997.

B. Meyer, Overloading vs. object technology, Journal of Object-Oriented Programming, vol.14, issue.5, pp.3-7, 2001.

. Microsoft, C# Language specifications, v0.28, 2001.

S. Muthukrishnan and M. Muller, Time and space efficient method lookup for objectoriented languages, Proc. ACM-SIAM Symp. on Discrete Algorithms, pp.42-51, 1996.

A. Myers, Bidirectional object layout for separate compilation, Proc. OOPSLA'95, pp.124-139, 1995.

M. Odersky and P. Wadler, Pizza into Java, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.146-159, 1997.
DOI : 10.1145/263699.263715

J. Privat, Analyse de types et graphe d'appels en compilation séparée, 2002.

W. Pugh and G. Weddel, Two-directional record layout for multiple inheritance, Proc. ACM Conf. on Programming Language Design and Implementation (PLDI'90). ACM SIGPLAN Notices, pp.85-91, 1990.

C. Queinnec, Fast and compact dispatching for dynamic object-oriented languages, Information Processing Letters, vol.64, issue.6, 1997.
DOI : 10.1016/S0020-0190(97)00192-0

O. Raynaud and E. Thierry, A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests, Proc. ECOOP'2001, pp.165-180, 2001.
DOI : 10.1007/3-540-45337-7_10

J. G. Rossie, D. P. Friedman, and M. Wand, Modeling subobject-based inheritance, Proc. ECOOP'96, P. Cointe, Ed. LNCS 1098, 1996.
DOI : 10.1007/BFb0053065
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.2012

M. Sakkinen, A critique of the inheritance principles of C++, Computing Systems, vol.5, issue.1, pp.69-110, 1992.

L. Schubert, M. Papalaskaris, and J. Taugher, Determining Type, Part, Color, and Time Relationships, Computer, vol.16, issue.10, pp.53-60, 1983.
DOI : 10.1109/MC.1983.1654198

R. Simon, E. Stapf, C. Mingins, M. , and B. , Eiffel for e-commerce under, NET. Journal of Object-Oriented Programming, vol.13, issue.5, pp.42-47, 2000.

A. Snyder, Modeling the C++ object model, pp.1-20, 1991.
DOI : 10.1007/BFb0057012

J. H. Solorzano and S. Alagi´calagi´c, Parametric polymorphism for Java: A reflective solution, pp.216-225, 1998.

G. Steele, Common Lisp: The Language, Second Edition, 1990.

M. Stefik and D. Bobrow, Object-oriented programming: Themes and variations. The AI Magazine 6, pp.40-62, 1986.

P. Sweeney, M. Burke, . J. Ibm-t, . Watson-research, and . Center, A methodology for quantifying and evaluating the space overhead in C++ object models, 1998.

C. Szypersky, Import is not inheritance why we need both: Modules and classes, Proc. ECOOP'92, pp.19-32, 1992.
DOI : 10.1007/BFb0053028

C. Szypersky, S. Omohundro, and S. Murer, Engineering a programming language: The type and class system of Sather, Proc. of First Int. Conference on Programming Languages and System Architectures, 1994.
DOI : 10.1007/3-540-57840-4_33

J. Vitek and R. Horspool, Taming message passing: Efficient method look-up for dynamically typed languages, Proc. ECOOP'94, pp.432-449, 1994.
DOI : 10.1007/BFb0052195

J. Vitek, R. Horspool, and A. Krall, Efficient type inclusion tests, pp.142-157, 1997.
DOI : 10.1145/263698.263730
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.5319

J. Waldo, Controversy: The case for multiple inheritance in C++, Computing Systems, vol.4, issue.2, pp.157-171, 1991.

T. Wang and S. Smith, Precise Constraint-Based Type Inference for Java, Proc. ECOOP'2001, pp.99-117, 2001.
DOI : 10.1007/3-540-45337-7_6

F. Weber, Getting class correctness and system correctness equivalent ? how to get covariant right, Technology of Object-Oriented Languages and Systems, pp.192-213, 1992.

P. R. Wilson, Uniprocessor garbage collection techniques, Int. Workshop on Memory Management (IWMM'92). LNCS 637, 1992.
DOI : 10.1007/BFb0017182

O. Zendra, D. Colnet, C. , and S. , Efficient dynamic dispatch without virtual function tables: The SmallEiffel compiler, Proceedings of OOPSLA'97, pp.32-125, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00565627

Y. Zibin and J. Gil, Efficient subtyping tests with PQ-encoding, pp.96-107, 2001.
DOI : 10.1145/504282.504290
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.5687

Y. Zibin and J. Gil, Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching, Proc. OOPSLA'02. SIGPLAN Notices, p.37, 2002.