L. [. Abadi and . Cardelli, A Theory of Objects, 1996.
DOI : 10.1007/978-1-4419-8598-9

V. Bono and M. Bugliesi, Matching for the lambda calculus of objects, Theoretical Computer Science, vol.212, issue.1-2, pp.101-140, 1999.
DOI : 10.1016/S0304-3975(98)00137-6
URL : https://doi.org/10.1016/s0304-3975(98)00137-6

M. [. Bono, M. Bugliesi, L. Dezani-ciancaglini, and . Liquori, Subtyping constraints for incomplete objects, Proc. of TAPSOFT/CAAP, pp.465-477, 1997.
DOI : 10.1007/BFb0030619
URL : https://hal.archives-ouvertes.fr/hal-01154622

M. [. Bono, L. Bugliesi, and . Liquori, A Lambda Calculus of incomplete objects, Proc. of MFCS, pp.218-229, 1996.
DOI : 10.1007/3-540-61550-4_150
URL : https://hal.archives-ouvertes.fr/hal-01156555

]. K. Bcc-+-96, L. Bruce, G. Cardelli, and . Castagna, The Hopkins Object Group, G. Leavens, and B. Pierce. On Binary Methods, Theory and Practice of Object Systems, vol.1, issue.3, 1996.

V. Bono and K. Fisher, An imperative, first-order calculus with object extension URL: https, ECOOP'98 -Object-Oriented Programming, 12th European Conference Proceedings, volume 1445 of Lecture Notes in Computer Science, pp.462-497, 1998.
DOI : 10.1007/bfb0054104
URL : http://www.ifs.uni-linz.ac.at/~ecoop/cd/papers/1445/14450462.pdf

L. [. Bono and . Liquori, A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects, Proc. of CSL, pp.16-30, 1995.
DOI : 10.1007/BFb0022244
URL : https://hal.archives-ouvertes.fr/hal-01157171

L. [. Bruce, A. Petersen, and . Fiech, Subtyping is not a good ???match??? for object-oriented languages, Proc. of ECOOP, pp.104-127, 1997.
DOI : 10.1007/BFb0053376

]. K. Bru94 and . Bruce, A Paradigmatic Object?Oriented Programming Language: Design, Static Typing and Semantics Submitted to Journal of Object Technology A protoype-based approach to object reclassification · 27, Car95] L. Cardelli. A Language with Distributed Scope. Computing System, pp.127-20627, 1994.

]. G. Cas95 and . Castagna, Covariance and contravariance: conflict without a cause, ACM Transactions on Programming Languages and Systems, vol.17, issue.3, pp.431-447, 1995.

]. G. Cas96 and . Castagna, Object-Oriented Programming: A Unified Foundation, Progress in Theoretical Computer Science. Birkäuser, 1996.

T. Cohen and J. Gil, Three approaches to object evolution, Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ '09, pp.57-66, 2009.
DOI : 10.1145/1596655.1596665

R. Chugh, D. Herman, R. Jhala, . Dependent-types-for-javascript, . Sigplan-notdddg01-]-sophia et al., Fickle : Dynamic object reclassification, ECOOP 2001 - Object-Oriented Programming, 15th European Conference Proceedings, volume 2072 of Lecture Notes in Computer Science, pp.47587-606, 2001.

[. Drossopoulou, F. Damiani, M. Dezani-ciancaglini, and P. Giannini, More dynamic object reclassification: Fickle, ACM Transactions on Programming Languages and Systems, vol.24, issue.2, pp.153-191, 2002.
DOI : 10.1145/514952.514955

F. Damiani, S. Drossopoulou, and P. Giannini, Refined effects for unanticipated object re-classification: Fickle 3 URL: https://doi, Theoretical Computer Science , 8th Italian Conference Proceedings, volume 2841 of Lecture Notes in Computer Science, pp.97-110, 2003.
DOI : 10.1007/978-3-540-45208-9_9

[. Gianantonio, F. Honsell, and L. Liquori, A lambda calculus of objects with self-inflicted extension, Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA '98), pp.166-178, 1998.
URL : https://hal.archives-ouvertes.fr/hal-01154180

K. Fisher, F. Honsell, and J. C. Mitchell, A Lambda Calculus of Objects and Method Specialization, Nordic Journal of Computing, vol.1, issue.1, pp.3-37, 1994.

J. [. Fisher, Notes on typed object-oriented programming, Proc. of TACS, pp.844-885, 1994.
DOI : 10.1007/3-540-57887-0_128

J. [. Fisher and . Mitchell, A delegation-based object calculus with subtyping, Proc. of FCT, pp.42-61, 1995.
DOI : 10.1007/3-540-60249-6_40
URL : http://www.research.att.com/~kfisher/files/fct95.ps

J. [. Fisher and . Mitchell, On the relationship between classes, objects , and data abstraction. Theory and Practice of Object Systems, 1998.
DOI : 10.1007/978-3-642-60858-2_22
URL : http://theory.stanford.edu/people/jcm/papers/kf-tapos-98.ps

G. Ghelli, Foundations for extensible objects with roles. Information and Computation, pp.50-75, 2002.
DOI : 10.1006/inco.2001.2943
URL : https://doi.org/10.1006/inco.2001.2943

[. Kamina and T. Tamai, A smooth combination of role-based language and context activation, Proceedings of the Ninth Workshop on Foundation of Aspect-Oriented LanguagesLiq97] L. Liquori. An Extended Theory of Primitive Objects: First Order System Proc. of ECOOP, pp.15-24, 1997.

[. Monpratarnchai and T. Tamai, The implementation and execution framework of a role model based language, epsilonj Artificial Intelligence , Networking and Parallel/Distributed Computing URL: https, Ninth ACIS International Conference on Software Engineering conjunction with Second International Workshop on Advanced Internet Technology and Applications, pp.269-276, 2008.

]. D. Rém98 and . Rémy, From classes to objects via subtyping, Proc. of European Symposium on Programming, 1998.

J. Ressia, T. Gîrba, O. Nierstrasz, F. Perin, and L. Renggli, Talents: an environment for dynamically composing units of reuse, Software: Practice and Experience, vol.6705, issue.3, pp.413-432, 2014.
DOI : 10.1109/WCRE.2011.17

C. [. Riecke and . Stone, Privacy via Subsumption, Electronic proceedings of FOOL-98, 1998.
DOI : 10.1006/inco.2000.2925
URL : https://doi.org/10.1006/inco.2000.2925

M. Serrano, Wide Classes, Oriented Programming, 13th European Conference Proceedings, pp.391-41510, 1999.
DOI : 10.1007/3-540-48743-3_18

M. Takahashi, Parallel Reductions in ??-Calculus, Information and Computation, vol.118, issue.1, pp.120-127, 1995.
DOI : 10.1006/inco.1995.1057
URL : https://doi.org/10.1016/s0747-7171(89)80045-8

J. Vouillon, Combining subsumption and binary methods: An object calculus with views, Proceedings of the 28th ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages, POPL '01, pp.290-303, 2001.
DOI : 10.1145/360204.360233

]. M. Wan87 and . Wand, Complete Type Inference for Simple Objects, Proc. of LICS, pp.37-44, 1987.