
Search the dblp DataBase
Vincent Balat:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Vincent Balat, Roberto Di Cosmo
A Linear Logical View of Linear Type Isomorphisms. [Citation Graph (0, 0)][DBLP] CSL, 1999, pp:250265 [Conf]
 Vincent Balat, Olivier Danvy
Memoization in TypeDirected Partial Evaluation. [Citation Graph (0, 0)][DBLP] GPCE, 2002, pp:7892 [Conf]
 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:1470 [Conf]
 Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore
Extensional normalisation and typedirected partial evaluation for typed lambda calculus with sums. [Citation Graph (0, 0)][DBLP] POPL, 2004, pp:6476 [Conf]
 Vincent Balat, Olivier Danvy
Strong Normalization by TypeDirected Partial Evaluation and RunTime Code Generation. [Citation Graph (0, 0)][DBLP] Types in Compilation, 1998, pp:240252 [Conf]
 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:12, pp:3550 [Journal]
 Vincent Balat
Ocsigen: typing web interaction with objective Caml. [Citation Graph (0, 0)][DBLP] ML, 2006, pp:8494 [Conf]
Experience report: ocsigen, a web programming framework. [Citation Graph (, )][DBLP]
O'browser: objective caml on browsers. [Citation Graph (, )][DBLP]
Search in 0.014secs, Finished in 0.014secs
