Travelled to:
1 × Canada
1 × Hungary
1 × India
1 × Japan
1 × Poland
2 × France
2 × Italy
2 × United Kingdom
3 × USA
Collaborated with:
R.D.Cosmo ∅ P.Melliès D.Rémy M.Dogguy V.Balat B.Yakobowski H.Hosoya B.C.Pierce M.Claes T.Mens A.W.Appel C.D.Richards F.Mancinelli J.Boender B.Durak X.Leroy R.Treinen
Talks about:
type (7) softwar (4) object (3) repositori (2) polymorph (2) framework (2) regular (2) packag (2) evolut (2) compon (2)
Person: Jérôme Vouillon
DBLP: Vouillon:J=eacute=r=ocirc=me
Contributed to:
Wrote 14 papers:
- MSR-2015-ClaesMCV #analysis
- A Historical Analysis of Debian Package Incompatibilities (MC, TM, RDC, JV), pp. 212–223.
- ICSE-2014-VouillonDC #component #evolution #repository
- Easing software component repository evolution (JV, MD, RDC), pp. 756–766.
- ICSE-2013-VouillonC #evolution #repository #set
- Broken sets in software repository evolution (JV, RDC), pp. 412–421.
- ESEC-FSE-2011-CosmoV #co-evolution #component #on the
- On software component co-installability (RDC, JV), pp. 256–266.
- ICFP-2009-BalatVY #case study #experience #framework #programming #web
- Experience report: ocsigen, a web programming framework (VB, JV, BY), pp. 311–316.
- POPL-2007-AppelMRV #type system
- A very modal model of a modern, major, general type system (AWA, PAM, CDR, JV), pp. 109–122.
- ASE-2006-MancinelliBCVDLT #complexity #open source #scalability
- Managing the Complexity of Large Free and Open Source Package-Based Software Distributions (FM, JB, RDC, JV, BD, XL, RT), pp. 199–208.
- POPL-2006-Vouillon #polymorphism
- Polymorphic regular tree types and patterns (JV), pp. 103–114.
- LICS-2005-MelliesV #framework #parametricity #polymorphism #recursion
- Recursive Polymorphic Types and Parametricity in an Operational Framework (PAM, JV), pp. 82–91.
- CSL-2004-Vouillon #type system
- Subtyping Union Types (JV), pp. 415–429.
- POPL-2004-VouillonM #fresh look #semantics
- Semantic types: a fresh look at the ideal model for types (JV, PAM), pp. 52–63.
- POPL-2001-Vouillon #calculus
- Combining subsumption and binary methods: an object calculus with views (JV), pp. 290–303.
- ICFP-2000-HosoyaVP #regular expression #xml
- Regular expression types for XML (HH, JV, BCP), pp. 11–22.
- POPL-1997-RemyV #ml #object-oriented
- Objective ML: A Simple Object-Oriented Extension of ML (DR, JV), pp. 40–53.