Jerome Vouillon

Publication Activity (10 Years)

Years Active: 1997-2006
Publications (10 Years): 0

Publications

Jerome Vouillon
Polymorphic regular tree types and patterns. POPL (2006)
Jerome Vouillon
Polymorphism and XDuce-style patterns. PLAN-X (2006)
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)
Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
Regular expression types for XML. ACM Trans. Program. Lang. Syst. 27 (1) (2005)
Paul-André Melliès, Jerome Vouillon
Recursive Polymorphic Types and Parametricity in an Operational Framework. LICS (2005)
Jerome Vouillon, Paul-André Melliès
Semantic types: a fresh look at the ideal model for types. POPL (2004)
Jerome Vouillon
Subtyping Union Types. CSL (2004)
Benjamin C. Pierce, Jerome Vouillon
Unison: A File Synchronizer and Its Specification. TACS (2001)
Jerome Vouillon
Combining subsumption and binary methods: an object calculus with views. POPL (2001)
Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
Regular expression types for XML. ICFP (2000)
Didier Rémy, Jerome Vouillon
Objective ML: An Effective Object-Oriented Extension to ML. Theory Pract. Object Syst. 4 (1) (1998)
Didier Rémy, Jerome Vouillon
Objective ML: A Simple Object-Oriented Extension of ML. POPL (1997)