A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: principles, techniques, and tools, 1986.

A. W. Appel, Run-time tags aren't necessary, Lisp and Symbolic Computation, 1989.
DOI : 10.1007/bf01811537
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.595

A. W. Appel, Compiling with continuations, 1992.
DOI : 10.1017/CBO9780511609619

A. W. Appel and D. B. Macqueen, A standard ML compiler, In Functional Programming Languages and Computer Architecture Lecture Notes in Computer Science, vol.242, 1987.
DOI : 10.1007/3-540-18317-5_17

J. F. Bartlett, Compacting garbage collector with ambiguous roots, 1988.
DOI : 10.1145/1317224.1317225
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.5356

L. Cardelli, The functional abstract machine, Polymorphism, vol.1, issue.1, 1983.

L. Cardelli and P. Wegner, On understanding types, data abstraction, and polymorphism. Computing surveys, pp.471-522, 1985.
DOI : 10.1145/6041.6042
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.695

F. Chow and J. Hennessy, Register allocation by priority-based coloring, SIGPLAN Notices, vol.19, issue.6, 1984.
DOI : 10.1145/502949.502896

G. Cousineau, P. Curien, and M. Mauny, The categorical abstract machine, Science of Computer Programming, vol.8, issue.2, pp.173-202, 1987.
DOI : 10.1016/0167-6423(87)90020-7
URL : http://dx.doi.org/10.1016/0167-6423(87)90020-7

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

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

R. Morrison, A. Dearle, R. C. Connor, and A. L. Brown, An ad hoc approach to the implementation of polymorphism, ACM Trans. Prog. Lang. Syst, vol.13, issue.3, 1991.

S. L. Peyton and -. , Unboxed values as first-class citizens, Functional Programming Languages and Computer Architecture, 1991.

S. R. Thatte, Coercive type isomorphism, In Functional Programming Languages and Computer Architecture Lecture Notes in Computer Science, vol.523, 1991.
DOI : 10.1007/3540543961_3

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

N. Wirth, Programming in Modula-2, 1983.
DOI : 10.1007/978-3-642-96878-5