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

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

]. 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

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, Journal of Functional Programming, vol.4, issue.2, pp.127-206, 1994.

]. L. Car95 and . Cardelli, A Language with Distributed Scope, Computing System, vol.8, issue.1, pp.27-59, 1995.

]. 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, and R. Jhala, Dependent types for JavaScript, ACM SIGPLAN Notices, vol.47, issue.10, pp.587-606, 2012.
DOI : 10.1145/2398857.2384659
URL : http://cseweb.ucsd.edu/~rchugh/research/nested/djs.pdf

[. Drossopoulou, F. Damiani, M. Dezani-ciancaglini, and P. Giannini, Fickle : Dynamic object re-classification URL: https, ECOOP 2001 -Object-Oriented Programming, 15th European Conference Proceedings, volume 2072 of Lecture Notes in Computer Science, pp.130-14910, 2001.
DOI : 10.1007/3-540-45337-7_8
URL : http://www.di.unito.it/~damiani/papers/ecoop01.ps.gz

[. 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

[. 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

P. Di-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

F. [. Fisher, J. C. Honsell, and . 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
URL : ftp://theory.stanford.edu/pub/kfisher/tacs-94.ps

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

K. Fisher and J. C. 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

[. 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.

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

J. Ressia, T. Gîrba, O. Nierstrasz, F. Perin, and L. Renggli, Talents, Proceedings of the International Workshop on Smalltalk Technologies, IWST '11, pp.1-11, 2011.
DOI : 10.1145/2166929.2166940

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.1006/inco.1995.1057

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.

T. Zhao, Type inference for scripting languages with implicit extension, ACM SIGPLAN International Workshop on Foundations of Object- Oriented Languages, 2010.
DOI : 10.1145/2047849.2047855
URL : http://jiangxi.cs.uwm.edu/publication/dls2011.pdf

T. Zhao, Polymorphic type inference for scripting languages with object extensions, ACM SIGPLAN Notices, vol.47, issue.2, pp.37-50, 2012.
DOI : 10.1145/2168696.2047855
URL : http://jiangxi.cs.uwm.edu/publication/dls2011.pdf