OCamlCC - raising low-level byte code to high-level C, by Michel Mauny Benoît Vaugon

We present preliminary results about OCamlCC, a compiler producing native code from OCaml bytecode executables, through the generation of C code.