L. Cardelli, The Functional Abstract Machine, Polymorphism, vol.1, issue.1, 1983.

L. Cardelli, Typeful programming, 1989.

L. Cardelli and P. Wegner, On understanding types, data abstraction, and polymorphism. Computing surveys, 1985.
DOI : 10.1145/6041.6042

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

L. Damas and R. Milner, Principal type-schemas for functional programs, Proc. Symp. Principles of Programming Languages, 1982.
DOI : 10.1145/582153.582176

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

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

W. Brian, D. M. Kernighan, and . Ritchie, The C programming language, 1988.

P. J. Landin, The Mechanical Evaluation of Expressions, The Computer Journal, vol.6, issue.4, pp.308-320, 1964.
DOI : 10.1093/comjnl/6.4.308

C. J. David and . Matthews, Poly manual, 1985.

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

J. Peterson, Untagged data in tagged environments: choosing optimal representations at compile time, Proceedings of the fourth international conference on Functional programming languages and computer architecture , FPCA '89, 1989.
DOI : 10.1145/99370.99377

G. D. Plotkin, A structural approach to operational semantics, 1981.

J. C. Reynolds, Towards a theory of type structure, Colloquium on Programming, 1974.
DOI : 10.1007/3-540-06859-7_148