À propos des auteurs

Sylvain Conchon est professeur d’informatique à l’Université Paris-Sud où il enseigne la programmation et l’algorithmique avec OCaml.

Jean-Christophe Filliâtre est chercheur au CNRS et enseignant à l’École Polytechnique où il donne des cours d’algorithmique, et à l’ENS (Ulm) où il donne des cours de compilation avec OCaml.

Tous deux sont programmeurs OCaml depuis plus de vingt ans et ont développé de nombreux logiciels avec ce langage. Ils sont très actifs dans la communauté francophone des langages applicatifs et ont organisé entre autres les « Journées Francophones des Langages Applicatifs ».


Dernière mise à jour : 26/2/2016