C. R. Amadio, L. Amadio, and . Cardelli, Subtyping recursive types, ACM Transactions on Programming Languages and Systems, vol.15, issue.4, pp.575-631, 1993.
DOI : 10.1145/155183.155231
URL : https://hal.archives-ouvertes.fr/inria-00070035

M. Appel, D. Appel, and . Mcallester, An indexed model of recursive types for foundational proof-carrying code, ACM Transactions on Programming Languages and Systems, vol.23, issue.5, 2001.
DOI : 10.1145/504709.504712

. Bruce, Subtyping is not a good ???match??? for object-oriented languages, ECOOP, pp.104-127, 1997.
DOI : 10.1007/BFb0053376

. Cardelli, An Extension of System F with Subtyping, Information and Computation, vol.109, issue.1-2, pp.4-56, 1994.
DOI : 10.1006/inco.1994.1013

K. Crary, Typed compilation of inclusive subtyping, Proceedings of the International Conference on Functional Programming, 2000.

R. J. Cretin, D. Cretin, and . Rémy, On the power of coercion abstraction, Proceedings of the annual symposium on Principles Of Programming Languages, 2012.
URL : https://hal.archives-ouvertes.fr/inria-00582570

G. R. David, B. David, and . Guillaume, A lambda-calculus with explicit weakening and explicit substitution, Mathematical Structures in Computer Science, vol.11, issue.1, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00384683

. Odersky, Type inference with constrained types, Theory and Practice of Object Systems, vol.X, issue.1, pp.35-55, 1999.
DOI : 10.1002/(SICI)1096-9942(199901/03)5:1<35::AID-TAPO4>3.0.CO;2-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.1443

F. Pottier, Simplifying subtyping constraints, Proceedings of the International Conference on Functional Programming, 1996.
DOI : 10.1145/232627.232642
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.7032

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

. Vanderwaart, Typed compilation of recursive datatypes, Workshop on Types in Language Design and Implementation (TLDI), 2003.

. Wells, J. B. Haack, C. Wells, and . Haack, Branching Types, Proc. of the European Symposium On Programming Languages and Systems, 2002.
DOI : 10.1007/3-540-45927-8_9