M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin, Dynamic typing in a statically-typed language, 16th symposium Principles of Programming Languages, 1989.

M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin, Dynamic typing in a statically-typed language, Research report, vol.47, 1989.

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

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

B. Goldberg, Tag-free garbage collection for strongly typed programming languages, Programming Language Design and Implementation, 1991.
DOI : 10.1145/113445.113460

M. Gordon, Adding eval to ML. Privately circulated note, circa, 1980.

G. Huet, The Calculus of Constructions, documentation and user's guide, 1989.

D. Maier and D. S. Warren, Computing with logic: logic programming with Prolog, 1988.

D. Miller, Lexical scoping as universal quantification, Proceedings of the sixth international conference for logic programming, 1989.

D. Miller, Unification under a mixed prefix, Journal of Symbolic Computation, vol.14, issue.4, pp.321-358, 1992.
DOI : 10.1016/0747-7171(92)90011-R
URL : http://doi.org/10.1016/0747-7171(92)90011-r

R. Milner, M. Tofte, R. Harper, and D. Macqueen, The definition of Standard ML (revised), 1997.

A. Mycroft, Dynamic types in ML. Draft, 1983.

L. Simon and -. Peyton, The implementation of functional programming languages, 1987.

F. Rouaix, Safe run-time overloading, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, 1990.
DOI : 10.1145/96709.96746

P. Wadler and S. Blott, How to make ad-hoc polymorphism less adhoc, 16th symposium Principles of Programming Languages, pp.60-76, 1989.
DOI : 10.1145/75277.75283

H. D. David and . Warren, An abstract Prolog instruction set, Technical note 309, SRI International, 1983.

P. Weis, The CAML reference manual, version 2.6.1, 1990.