- Berke Durak sur OCaml dans l'espace : Embarqué et calcul scientifique
- Armaël Guéneau sur Preuves de complexité de programmes OCaml avec CFML
- Paul Laforgue sur OCaml étendu avec du filtrage par comotifs.
IRILL - Research and Innovation on Free Software