S. Carlier, J. Polakow, J. B. Wells, and A. J. Kfoury, System??E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types, ESOP, volume 2986 of LNCS, pp.294-309, 2004.
DOI : 10.1007/978-3-540-24725-8_21
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.6349

S. Carlier and J. B. Wells, Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation, Electronic Notes in Theoretical Computer Science, vol.136, pp.173-202, 2005.
DOI : 10.1016/j.entcs.2005.03.026

M. Coppo, M. Dezani-ciancaglini, and B. Venneri, Principal type schemes and ?-calculus semantics, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, pp.535-560, 1980.

L. Damas and R. Milner, Principal type-schemes for functional programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '82, pp.207-212, 1982.
DOI : 10.1145/582153.582176

J. Garrigue and D. Rémy, Semi-Explicit First-Class Polymorphism for ML, Information and Computation, vol.155, issue.1-2, pp.134-169, 1999.
DOI : 10.1006/inco.1999.2830
URL : http://doi.org/10.1006/inco.1999.2830

P. Giannini and S. Rocca, Type inference in polymorphic type discipline, TACS, pp.18-37, 1991.
DOI : 10.1007/3-540-54415-1_39

J. Girard, Interprétation fonctionnelle etéliminationetélimination des coupures de l'arithmétique d'ordre supérieur, 1972.

A. J. Kfoury and J. B. Wells, Principality and type inference for intersection types using expansion variables, Theoretical Computer Science, vol.311, issue.1-3, pp.1-70, 2004.
DOI : 10.1016/j.tcs.2003.10.032
URL : http://doi.org/10.1016/j.tcs.2003.10.032

K. Läufer and M. Odersky, Polymorphic type inference and abstract data types, ACM Transactions on Programming Languages and Systems, vol.16, issue.5, pp.1411-1430, 1994.
DOI : 10.1145/186025.186031

D. , L. Botlan, and D. Rémy, MLF: raising ML to the power of System F, ICFP, pp.27-38, 2003.

D. Leijen, Flexible types: robust type inference for first-class polymorphism, POPL, pp.66-77, 2009.

D. Leivant, Polymorphic type inference, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '83, pp.88-98, 1983.
DOI : 10.1145/567067.567077

S. Lenglet and J. B. Wells, Expansion for Universal Quantifiers, 1101.
DOI : 10.1007/978-3-642-28869-2_23
URL : https://hal.archives-ouvertes.fr/hal-01405792

I. Margaria and M. Zacchi, Principal Typing in a ?????-Discipline, Journal of Logic and Computation, vol.5, issue.3, pp.367-381, 1995.
DOI : 10.1093/logcom/5.3.367

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

J. C. Mitchell, Polymorphic type inference and containment, Information and Computation, vol.76, issue.2-3, pp.211-249, 1988.
DOI : 10.1016/0890-5401(88)90009-0
URL : http://doi.org/10.1016/0890-5401(88)90009-0

D. Rémy, Programming objects with ML-ART an extension to ML with abstract and record types, TACS, pp.321-346, 1994.
DOI : 10.1007/3-540-57887-0_102

J. Reynolds, Towards a theory of type structure, Colloque sur la Programmation, pp.408-423, 1974.
DOI : 10.1007/3-540-06859-7_148

S. , R. Della-rocca, and B. Venneri, Principal type schemes for an extended type theory, Theoretical Computer Science, vol.28, pp.151-169, 1984.

S. Van-bakel, F. Barbanera, and M. Fernández, Polymorphic intersection type assignment for rewrite systems with abstractions and beta-rule, TYPES, pp.41-60, 1956.

C. Vasconcellos, L. Figueiredo, and C. Camarão, Practical type inference for polymorphic recursion: an implementation in haskell, J. UCS, issue.98, pp.873-890, 2003.

D. Vytiniotis, S. Weirich, and S. L. Jones, FPH: first-class polymorphism for Haskell, ICFP, pp.295-306, 2008.

D. Vytiniotis, S. Weirich, S. L. Peyton, and . Jones, Boxy types: inference for higherrank types and impredicativity, ICFP, pp.251-262, 2006.

J. B. Wells, Typability and type checking in System F are equivalent and undecidable, Annals of Pure and Applied Logic, vol.98, issue.1-3, pp.111-156, 1999.
DOI : 10.1016/S0168-0072(98)00047-5

J. B. Wells, The Essence of Principal Typings, ICALP, pp.913-925, 2002.
DOI : 10.1007/3-540-45465-9_78

J. B. Wells and C. Haack, Branching Types, ESOP, volume 2305 of LNCS, pp.115-132, 2002.
DOI : 10.1007/3-540-45927-8_9