Objective ML: A Simple Object-Oriented Extension of ML. - Didier Rémy; Jerome Vouillon (POPL, 1997)

Objective ML: An Effective Object-Oriented Extension to ML. - Didier Rémy; Jerome Vouillon (Theory Pract. Object Syst., 1998)

Combining subsumption and binary methods: an object calculus with views. - Jerome Vouillon (POPL, 2001)

Unison: A File Synchronizer and Its Specification. - Benjamin C. Pierce; Jerome Vouillon (TACS, 2001)

Subtyping Union Types. - Jerome Vouillon (CSL, 2004)

Semantic types: a fresh look at the ideal model for types. - Jerome Vouillon; Paul-André Melliès (POPL, 2004)

Recursive Polymorphic Types and Parametricity in an Operational Framework. - Paul-André Melliès; Jerome Vouillon (LICS, 2005)

Regular expression types for XML. - Haruo Hosoya; Jerome Vouillon; Benjamin C. Pierce (ACM Trans. Program. Lang. Syst., 2005)

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. - Fabio Mancinelli; Jaap Boender; Roberto Di Cosmo; Jerome Vouillon; Berke Durak; Xavier Leroy; Ralf Treinen (ASE, 2006)

Polymorphism and XDuce-style patterns. - Jerome Vouillon (PLAN-X, 2006)

Polymorphic regular tree types and patterns. - Jerome Vouillon (POPL, 2006)

A very modal model of a modern, major, general type system. - Andrew W. Appel; Paul-André Melliès; Christopher D. Richards; Jérôme Vouillon (POPL, 2007)

Improving the Quality of GNU/Linux Distributions. - Jaap Boender; Roberto Di Cosmo; Jérôme Vouillon; Berke Durak; Fabio Mancinelli (COMPSAC, 2008)

Lwt: a cooperative thread library. - Jérôme Vouillon (ML, 2008)

Experience report: ocsigen, a web programming framework. - Vincent Balat; Jérôme Vouillon; Boris Yakobowski (ICFP, 2009)

A Solution to the PoplMark Challenge Based on de Bruijn Indices. - Jérôme Vouillon (J. Autom. Reason., 2012)

Broken sets in software repository evolution. - Jérôme Vouillon; Roberto Di Cosmo (ICSE, 2013)

On software component co-installability. - Jérôme Vouillon; Roberto Di Cosmo (ACM Trans. Softw. Eng. Methodol., 2013)

Easing software component repository evolution. - Jérôme Vouillon; Mehdi Dogguy; Roberto Di Cosmo (ICSE, 2014)

From bytecode to JavaScript: the Js_of_ocaml compiler. - Jérôme Vouillon; Vincent Balat (Softw. Pract. Exp., 2014)

A Historical Analysis of Debian Package Incompatibilities. - Maëlick Claes; Tom Mens; Roberto Di Cosmo; Jérôme Vouillon (MSR, 2015)

Eliom: A Core ML Language for Tierless Web Programming. - Gabriel Radanne; Jérôme Vouillon; Vincent Balat (APLAS, 2016)

Eliom: tierless Web programming from the ground up. - Gabriel Radanne; Vasilis Papavasileiou; Jérôme Vouillon; Vincent Balat (IFL, 2016)

Tierless Web Programming in the Large. - Gabriel Radanne; Jérôme Vouillon (WWW (Companion Volume), 2018)

Eliom: A Language for Modular Tierless Web Programming. - Gabriel Radanne; Jérôme Vouillon; Vincent Balat (CoRR, 2019)