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