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 |