|
Search the dblp DataBase
Jerome Vouillon:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
Regular expression types for XML. [Citation Graph (2, 0)][DBLP] ICFP, 2000, pp:11-22 [Conf]
- Jerome Vouillon
Subtyping Union Types. [Citation Graph (0, 0)][DBLP] CSL, 2004, pp:415-429 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ASE, 2006, pp:199-208 [Conf]
- Paul-André Melliès, Jerome Vouillon
Recursive Polymorphic Types and Parametricity in an Operational Framework. [Citation Graph (0, 0)][DBLP] LICS, 2005, pp:82-91 [Conf]
- Jerome Vouillon
Polymorphism and XDuce-style patterns. [Citation Graph (0, 0)][DBLP] PLAN-X, 2006, pp:49-60 [Conf]
- Didier Rémy, Jerome Vouillon
Objective ML: A Simple Object-Oriented Extension of ML. [Citation Graph (0, 0)][DBLP] POPL, 1997, pp:40-53 [Conf]
- Jerome Vouillon
Combining subsumption and binary methods: an object calculus with views. [Citation Graph (0, 0)][DBLP] POPL, 2001, pp:290-303 [Conf]
- Jerome Vouillon
Polymorphic regular tree types and patterns. [Citation Graph (0, 0)][DBLP] POPL, 2006, pp:103-114 [Conf]
- Jerome Vouillon, Paul-André Melliès
Semantic types: a fresh look at the ideal model for types. [Citation Graph (0, 0)][DBLP] POPL, 2004, pp:52-63 [Conf]
- Benjamin C. Pierce, Jerome Vouillon
Unison: A File Synchronizer and Its Specification. [Citation Graph (0, 0)][DBLP] TACS, 2001, pp:560- [Conf]
- Didier Rémy, Jerome Vouillon
Objective ML: An Effective Object-Oriented Extension to ML. [Citation Graph (0, 0)][DBLP] TAPOS, 1998, v:4, n:1, pp:27-50 [Journal]
- Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
Regular expression types for XML. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2005, v:27, n:1, pp:46-90 [Journal]
Search in 0.001secs, Finished in 0.002secs
|