Xavier Clerc

According to our database, Xavier Clerc authored at least 5 papers between 2003 and 2016.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2016

OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler.

Xavier Clerc

J. Funct. Program., 2016

2013

OCaml-Java: an ML implementation for the Java ecosystem.

Xavier Clerc

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

2012

OCaml-Java: OCaml on the JVM.

Xavier Clerc

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

OCaml-Java: From OCaml Sources to Java Bytecodes.

Xavier Clerc

Proceedings of the Implementation and Application of Functional Languages, 2012

2003

Planification multi-agent par cycles de conjecture/réfutation.

Xavier Clerc, Humbert Fiorino, Damien Pellier

Tech. Sci. Informatiques, 2003