The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jerome Vouillon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
    Regular expression types for XML. [Citation Graph (2, 0)][DBLP]
    ICFP, 2000, pp:11-22 [Conf]
  2. Jerome Vouillon
    Subtyping Union Types. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:415-429 [Conf]
  3. 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]
  4. 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]
  5. Jerome Vouillon
    Polymorphism and XDuce-style patterns. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2006, pp:49-60 [Conf]
  6. 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]
  7. Jerome Vouillon
    Combining subsumption and binary methods: an object calculus with views. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:290-303 [Conf]
  8. Jerome Vouillon
    Polymorphic regular tree types and patterns. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:103-114 [Conf]
  9. 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]
  10. Benjamin C. Pierce, Jerome Vouillon
    Unison: A File Synchronizer and Its Specification. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:560- [Conf]
  11. 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]
  12. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002