| 2008 |
|---|
| 15 | EE | Jaap Boender,
Roberto Di Cosmo,
Jérôme Vouillon,
Berke Durak,
Fabio Mancinelli:
Improving the Quality of GNU/Linux Distributions.
COMPSAC 2008: 1240-1246 |
| 14 | EE | Jérôme Vouillon:
Lwt: a cooperative thread library.
ML 2008: 3-12 |
| 2007 |
|---|
| 13 | EE | Andrew W. Appel,
Paul-André Melliès,
Christopher D. Richards,
Jérôme Vouillon:
A very modal model of a modern, major, general type system.
POPL 2007: 109-122 |
| 2006 |
|---|
| 12 | EE | Fabio Mancinelli,
Jaap Boender,
Roberto Di Cosmo,
Jerome Vouillon,
Berke Durak,
Xavier Leroy,
Ralf Treinen:
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions.
ASE 2006: 199-208 |
| 11 | | Jerome Vouillon:
Polymorphism and XDuce-style patterns.
PLAN-X 2006: 49-60 |
| 10 | EE | Jerome Vouillon:
Polymorphic regular tree types and patterns.
POPL 2006: 103-114 |
| 2005 |
|---|
| 9 | EE | Paul-André Melliès,
Jerome Vouillon:
Recursive Polymorphic Types and Parametricity in an Operational Framework.
LICS 2005: 82-91 |
| 8 | EE | Haruo Hosoya,
Jerome Vouillon,
Benjamin C. Pierce:
Regular expression types for XML.
ACM Trans. Program. Lang. Syst. 27(1): 46-90 (2005) |
| 2004 |
|---|
| 7 | EE | Jerome Vouillon:
Subtyping Union Types.
CSL 2004: 415-429 |
| 6 | EE | Jerome Vouillon,
Paul-André Melliès:
Semantic types: a fresh look at the ideal model for types.
POPL 2004: 52-63 |
| 2001 |
|---|
| 5 | EE | Jerome Vouillon:
Combining subsumption and binary methods: an object calculus with views.
POPL 2001: 290-303 |
| 4 | EE | Benjamin C. Pierce,
Jerome Vouillon:
Unison: A File Synchronizer and Its Specification.
TACS 2001: 560 |
| 2000 |
|---|
| 3 | EE | Haruo Hosoya,
Jerome Vouillon,
Benjamin C. Pierce:
Regular expression types for XML.
ICFP 2000: 11-22 |
| 1998 |
|---|
| 2 | | Didier Rémy,
Jerome Vouillon:
Objective ML: An Effective Object-Oriented Extension to ML.
TAPOS 4(1): 27-50 (1998) |
| 1997 |
|---|
| 1 | EE | Didier Rémy,
Jerome Vouillon:
Objective ML: A Simple Object-Oriented Extension of ML.
POPL 1997: 40-53 |
