Search the dblp DataBase

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]