Jérôme Vouillon

Chargé de Recherche au CNRS

Software developpement

Ocsigen: I'm working on the Ocsigen Web server.
Unison: I'm one of the maintainers of the Unison file synchronizer.
Lwt: I have written a cooperative thread library for OCaml
RE: I have written a fast and powerful DFA-based regular expression library for OCaml.
Objective Caml: I designed and implemented the object-oriented part of OCaml during my PhD thesis.
Ocamldebug: I wrote a replay debugger for OCaml. (It is distributed with OCaml.)
Ocamlsearch: I wrote a search tool for Caml Light using type isomorphisms. (It is included in the Caml Light distribution.)

Recent papers

Polymorphic Regular Tree Types and Patterns
Polymorphism and XDuce-style patterns
Subtyping Union Types
Recursive polymorphic types and parametricity in an operational framework (with Paul-André Melliés.)
Semantic Types: A fresh look at the ideal model for types (with Paul-André Melliés.)
What's in Unison? A Formal Specification and Reference Implementation of a File Synchronizer (with Benjamin C. Pierce.)