Planification multi-agent par cycles de conjecture/réfutation. - Xavier Clerc; Humbert Fiorino; Damien Pellier (Tech. Sci. Informatiques, 2003)

OCaml-Java: From OCaml Sources to Java Bytecodes. - Xavier Clerc (IFL, 2012)

OCaml-Java: OCaml on the JVM. - Xavier Clerc (Trends in Functional Programming, 2012)

OCaml-Java: an ML implementation for the Java ecosystem. - Xavier Clerc (PPPJ, 2013)

OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler. - Xavier Clerc (J. Funct. Program., 2016)