The SCEAS System
Navigation Menu

Search the dblp DataBase


Vincent Balat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Vincent Balat, Roberto Di Cosmo
    A Linear Logical View of Linear Type Isomorphisms. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:250-265 [Conf]
  2. Vincent Balat, Olivier Danvy
    Memoization in Type-Directed Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    GPCE, 2002, pp:78-92 [Conf]
  3. Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
    Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:147-0 [Conf]
  4. Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore
    Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:64-76 [Conf]
  5. Vincent Balat, Olivier Danvy
    Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:240-252 [Conf]
  6. Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
    Remarks on isomorphisms in typed lambda calculi with empty and sum types. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:35-50 [Journal]
  7. Vincent Balat
    Ocsigen: typing web interaction with objective Caml. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:84-94 [Conf]

  8. Experience report: ocsigen, a web programming framework. [Citation Graph (, )][DBLP]

  9. O'browser: objective caml on browsers. [Citation Graph (, )][DBLP]

Search in 0.014secs, Finished in 0.014secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002