Jérôme Vouillon

Jerome Vouillon

	2009
16		Vincent Balat, Jérôme Vouillon, Boris Yakobowski: Experience report: ocsigen, a web programming framework. ICFP 2009: 311-316
	2008
15		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		Jérôme Vouillon: Lwt: a cooperative thread library. ML 2008: 3-12
	2007
13		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		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		Jerome Vouillon: Polymorphic regular tree types and patterns. POPL 2006: 103-114
	2005
9		Paul-André Melliès, Jerome Vouillon: Recursive Polymorphic Types and Parametricity in an Operational Framework. LICS 2005: 82-91
8		Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce: Regular expression types for XML. ACM Trans. Program. Lang. Syst. 27(1): 46-90 (2005)
	2004
7		Jerome Vouillon: Subtyping Union Types. CSL 2004: 415-429
6		Jerome Vouillon, Paul-André Melliès: Semantic types: a fresh look at the ideal model for types. POPL 2004: 52-63
	2001
5		Jerome Vouillon: Combining subsumption and binary methods: an object calculus with views. POPL 2001: 290-303
4		Benjamin C. Pierce, Jerome Vouillon: Unison: A File Synchronizer and Its Specification. TACS 2001: 560
	2000
3		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		Didier Rémy, Jerome Vouillon: Objective ML: A Simple Object-Oriented Extension of ML. POPL 1997: 40-53

Coauthor Index

1	Andrew W. Appel	[13]
2	Vincent Balat	[16]
3	Jaap Boender	[12] [15]
4	Roberto Di Cosmo	[12] [15]
5	Berke Durak	[12] [15]
6	Haruo Hosoya	[3] [8]
7	Xavier Leroy	[12]
8	Fabio Mancinelli	[12] [15]
9	Paul-André Melliès	[6] [9] [13]
10	Benjamin C. Pierce	[3] [4] [8]
11	Didier Rémy	[1] [2]
12	Christopher D. Richards	[13]
13	Ralf Treinen	[12]
14	Boris Yakobowski	[16]