M. Abadi and L. Cardelli, A Theory of Primitive Objects: Untyped and First-Order Systems, TACS 1994, pp.296-320, 1994.
DOI : 10.1006/inco.1996.0024

R. Agrawal, L. G. De-michiel, and B. G. Lindsay, Static type checking of multimethods, Proc. of OOPSLA, pp.113-128, 1991.

A. Aiken and E. L. Wimmers, Type inclusion constraints and type inference, Proceedings of the conference on Functional programming languages and computer architecture , FPCA '93, pp.31-41, 1993.
DOI : 10.1145/165180.165188

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. Ancona and G. Lagorio, Coinductive Type Systems for Object-Oriented Languages, ECOOP 2009, pp.2-26, 2009.
DOI : 10.1007/3-540-45337-7_6

J. Boyland and G. Castagna, Type-safe compilation of covariant specialization: A practical case, ECOOP 1996, pp.3-25, 1996.
DOI : 10.1007/BFb0053054

J. T. Boyland and G. Castagna, Parasitic Methods: an implementation of multimethods for Java, Proc. of OOPSLA, 1997.

G. Castagna, Object-oriented programming, Birkäuser, 1997.
DOI : 10.1007/978-1-4612-4138-6_3

G. Castagna, Semantic Subtyping: Challenges, Perspectives, and Open Problems, ICTCS 2005, pp.1-20, 2005.
DOI : 10.1007/11560586_1

URL : https://hal.archives-ouvertes.fr/hal-00152679

G. Castagna, R. De-nicola, and D. Varacca, Semantic subtyping for the pi-calculus, Theoretical Computer Science, vol.398, issue.1-3, pp.217-242, 2008.
DOI : 10.1016/j.tcs.2008.01.049

URL : https://hal.archives-ouvertes.fr/hal-00148929

F. M. Damm, Subtyping with union types, intersection types and recursive types, TACS 1994, pp.687-706, 1994.
DOI : 10.1007/3-540-57887-0_121

URL : https://hal.archives-ouvertes.fr/inria-00074412

O. Dardha, Sottotipaggio semantico per linguaggi ad oggetti. MS thesis, Dip. Informatica, Sapienza " Univ. di Roma

R. B. Findler, M. Flatt, and M. Felleisen, Semantic Casts: Contracts and Structural Subtyping in a Nominal World, LNCS, vol.3086, pp.365-389, 2004.
DOI : 10.1007/978-3-540-24851-4_17

A. Frisch, G. Castagna, and V. Benzaken, Semantic subtyping, Journal of the ACM, vol.55, issue.4, pp.1-64, 2008.
DOI : 10.1145/1391289.1391293

URL : https://hal.archives-ouvertes.fr/hal-00152690

J. Gil and I. Maman, Whiteoak: introducing structural typing into Java, Proc. of OOPSLA, pp.73-90, 2008.

H. Hosoya and B. C. Pierce, Regular expression pattern matching for XML, ACM SIGPLAN Notices, vol.36, issue.3, pp.67-80, 2001.
DOI : 10.1145/373243.360209

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

H. Hosoya and B. C. Pierce, XDuce, ACM Transactions on Internet Technology, vol.3, issue.2, pp.117-148, 2003.
DOI : 10.1145/767193.767195

A. Igarashi, B. C. Pierce, and P. Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems, vol.23, issue.3, pp.396-450, 2001.
DOI : 10.1145/503502.503505

X. Leroy, D. Doligez, J. Garrigue, D. Rémy, and J. Vouillon, The Objective Caml system, release 3, p.11, 2008.

D. Malayeri and J. Aldrich, Integrating Nominal and Structural Subtyping, ECOOP 2008, pp.260-284, 2008.
DOI : 10.1007/978-3-540-70592-5_12

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. Malayeri and J. Aldrich, Is Structural Subtyping Useful? An Empirical Study, ESOP 2009, pp.95-111, 2009.
DOI : 10.1007/978-3-642-00590-9_8

M. Odersky, S. Micheloud, N. Mihaylov, M. Schinz, E. Stenman et al., An overview of the Scala programming language, 2004.

K. Ostermann, Nominal and Structural Subtyping in Component-Based Programming., The Journal of Object Technology, vol.7, issue.1, pp.121-145, 2008.
DOI : 10.5381/jot.2008.7.1.a4

D. J. Pearce, Sound and Complete Flow Typing with Unions, Intersections and Negations, VMCAI 2013, pp.335-354, 2013.
DOI : 10.1007/978-3-642-35873-9_21

D. Rémy and J. Vouillon, Objective ML, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.40-53, 1997.
DOI : 10.1145/263699.263707

D. Sangiorgi and D. Walker, The Pi-Calculus: A Theory of Mobile Processes, 2003.