E. Balland, C. Kirchner, and P. Moreau, Formal Islands, AMAST, pp.51-65, 2006.
DOI : 10.1007/11784180_7
URL : https://hal.archives-ouvertes.fr/inria-00001146

R. Hindley, The principal type-scheme of an object in combinatory logic. Transactions of The, 1969.

R. Milner, A theory of type polymorphism in programming, Journal of Computer and System Sciences, vol.17, issue.3, pp.348-375, 1978.
DOI : 10.1016/0022-0000(78)90014-4

F. Pottier, Simplifying Subtyping Constraints: A Theory, Information and Computation, vol.170, issue.2, pp.153-183, 2001.
DOI : 10.1006/inco.2001.2963
URL : http://doi.org/10.1006/inco.2001.2963

F. Pottier, Type inference in the presence of subtyping: from theory to practice, Research Report, vol.3483, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073205

A. Reilles, Canonical Abstract Syntax Trees, Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, pp.165-179, 2006.
DOI : 10.1016/j.entcs.2007.06.014
URL : https://hal.archives-ouvertes.fr/inria-00000967