Équipe Preuves,
Programmes et Systèmes

Jérôme Vouillon

Chargé de Recherche au CNRS

Email: Jerome.Vouillon@pps.jussieu.fr

Software developpement

OCamlduce

I'm working on integrating XDuce more tightly with OCaml. The goal is to turn XDuce into a powerful language for XML processing and Web developpement.

Unison

I'm one of the maintainers of the Unison file synchronizer.

RE

I'm writing 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.)

Publications

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.)

Other publications

A more comprehensive list of publications is also available on-line.