A. W. Appel and D. B. Macqueen, Standard ML reference manual (preliminary), 1989.

L. Cardelli, Typeful programming, Formal Description of Programming Concepts, pp.431-507

G. Cousineau and G. Huet, The CAML primer, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00070045

L. Damas, Type assignment in programming languages, 1985.

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.5233

Y. Fuh and P. Mishra, Type inference with subtypes, ESOP '88, pp.94-114, 1988.
DOI : 10.1007/3-540-19027-9_7

J. Girard, Interprétation fonctionnelle etélimetélimination des coupures de l'arithmétique d'ordre supérieur, Thèse d' ´ Etat, 1972.

J. M. Lucassen and D. K. Gifford, Polymorphic effect systems, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.47-57, 1988.
DOI : 10.1145/73560.73564
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.4916

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes: part 1, 1989.

R. Milner, M. Tofte, and R. Harper, The definition of Standard ML, 1990.

J. C. Mitchell, Coercion and type inference, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '84, pp.175-185, 1984.
DOI : 10.1145/800017.800529

J. H. Reppy, First-class synchronous operations in Standard ML, 1989.
DOI : 10.1007/bfb0026573
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.4202

J. C. Reynolds, Towards a theory of type structure, Programming Symposium, pp.408-425, 1974.
DOI : 10.1007/3-540-06859-7_148

G. Smolka, FRESH: a higher-order language with unification and multiple results, Logic Programming: Functions, Relations, and Equations, pp.469-524, 1986.

M. Tofte, Operational semantics and polymorphic type inference, 1988.

M. Tofte, Type inference for polymorphic references . Information and Computation, 1990.
DOI : 10.1016/0890-5401(90)90018-d
URL : http://doi.org/10.1016/0890-5401(90)90018-d