A. Bauer, Compilation of functional programming languages using GCC?Tail calls, 2003.

C. Benner, L. An, . Backend, and . Ocaml, To be presented at the OCaml Meeting, 2012.

E. Chailloux, Compilation des langages fonctionnels : CeML un traducteur ML vers C, 1991.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

X. Leroy, D. Doligez, A. Frisch, and J. Garrigue, Didier Rémy, and Jérôme Vouillon. The OCaml system release 3.12, Documentation and user's manual, 2011.

B. Meurer, OCamlJIT 2.0 -Faster Objective Caml. CoRR, abs, 1011.

L. P. Simon, C. Jones, K. Hall, J. Hammond, and . Cordy, The Glasgow Haskell compiler : a technical overview, 1992.

M. Serrano, Bigloo User's Manual, 1994.

D. Tarditi, P. Lee, and A. Acharya, No assembly required: compiling standard ML to C, ACM Letters on Programming Languages and Systems, vol.1, issue.2, pp.161-177, 1992.
DOI : 10.1145/151333.151343

J. Vouillon and V. Balat, From bytecode to Javascript : the Js_of_ocaml compiler. Presented at the OCaml Meeting, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00826786