Get started
Author

Xavier Clerc

Observed names: Clerc, Xavier, XAVIER CLERC
OpenAlex ID: A5084869877
OCaml-Java: OCaml on the JVM
2013 · Xavier Clerc · Lecture notes in computer science · 8
OCaml-Java: an ML implementation for the Java ecosystem
2013 · Xavier Clerc · Principles and Practice of Programming in Java · 3
OCaml-Java: From OCaml Sources to Java Bytecodes
2013 · Xavier Clerc · Lecture notes in computer science · 1
Qualification of The Automated Transfer Vehicle (ATV) Flight Control
2006 · David Berthelier, Xavier Clerc, et al. · 1
Planification multi-agent par cycles de conjecture/réfutation
2003 · Clerc, Xavier, Pellier, Damien, et al. · HAL · 1
OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler
2016 · XAVIER CLERC · Journal of Functional Programming
PDF
O’Jacaré : un pont entre OCaml et Java
2015 · Carré, Béatrice, Henry, Grégoire, et al. · HAL
OCaml-Java: Typing Java Accesses from OCaml Programs
2013 · Xavier Clerc
Planification dans un espace de buts par stratégie de type meilleur d'abord
2007 · Xavier Clerc · OpenGrey (Institut de l'Information Scientifique et Technique)
Works count: 10
Citation count: 14
H-index: 2
I10-index:
Year
Topic
Type