Section: Software

Other software developments

Stéphane Glondu is involved in the maintenance of OCaml-related packages in Debian, which include OCaml itself, Coq, Ssreflect (an extension of Coq developed at INRIA-MSR joint center) and Ocsigen (a web framework developed at PPS). The Ubuntu distribution naturally benefits from this work. In collaboration with Stefano Zacchiroli, Mehdi Dogguy and Sylvain Le Gall, he developed a solution to enforce library linkability using inter-package relationships. This work will be presented at JFLA 2010.

In collaboration with François Pottier (INRIA Gallium), Yann Régis-Gianas maintained Menhir, an LR parser generator for Objective Caml.