Jerome Vouillon

12 papers A* 6A 1B 1Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2006 A* conf
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions.
ASE
Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen
2006 A* conf
Polymorphic regular tree types and patterns.
POPL
Jerome Vouillon
2006 — conf
Polymorphism and XDuce-style patterns.
PLAN-X
Jerome Vouillon
2005 A* conf
Recursive Polymorphic Types and Parametricity in an Operational Framework.
LICS
Paul-André Melliès, Jerome Vouillon
2005 J jnl
Regular expression types for XML.
ACM Trans. Program. Lang. Syst.
Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
2004 A* conf
Semantic types: a fresh look at the ideal model for types.
POPL
Jerome Vouillon, Paul-André Melliès
2004 B conf
Subtyping Union Types.
CSL
Jerome Vouillon
2001 A* conf
Combining subsumption and binary methods: an object calculus with views.
POPL
Jerome Vouillon
2001 — conf
Unison: A File Synchronizer and Its Specification.
TACS
Benjamin C. Pierce, Jerome Vouillon
2000 A conf
Regular expression types for XML.
ICFP
Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
1998 J jnl
Objective ML: An Effective Object-Oriented Extension to ML.
Theory Pract. Object Syst.
Didier Rémy, Jerome Vouillon
1997 A* conf
Objective ML: A Simple Object-Oriented Extension of ML.
POPL
Didier Rémy, Jerome Vouillon