Vincent Balat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
1999–2016
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | APLAS | Eliom: A Core ML Language for Tierless Web Programming. | Gabriel Radanne, Jrme Vouillon, Vincent Balat |
| 2013 | PADL | A Declarative-Friendly API for Web Document Manipulation. | Benjamin Canou, Emmanuel Chailloux, Vincent Balat |
| 2013 | WWW | Client-server web applications widgets. | Vincent Balat |
| 2009 | ICFP | Experience report: ocsigen, a web programming framework. | Vincent Balat, Jrme Vouillon, Boris Yakobowski |
| 2004 | POPL | Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. | Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore |
| 2002 | GPCE | Memoization in Type-Directed Partial Evaluation. | Vincent Balat, Olivier Danvy |
| 2002 | LICS | Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. | Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat |
| 1999 | CSL | A Linear Logical View of Linear Type Isomorphisms. | Vincent Balat, Roberto Di Cosmo |