Es conocido por sus contribuciones a la teoría del lenguaje de programación y a la teoría del lenguaje de computación.
[1] Estudió en la École Supérieure d'Électricité, la Universidad de París VII Denis Diderot, la Universidad Case de la Reserva Occidental y la Sorbona.
Ha realizado importantes contribuciones a la teoría de la unificación de proceso algorítmico de resolución de ecuaciones entre expresiones simbólicas y al desarrollo de lenguajes de programación funcional, en particular el Categorical Abstract Machine Language (Caml).
Es especialista en lingüística computacional en sánscrito.
Entre sus distinciones, destacamos la Legión de Honor y el Premio Herbrand en 1998.