Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. - Vincent Balat; Olivier Danvy (Types in Compilation, 1998)

A Linear Logical View of Linear Type Isomorphisms. - Vincent Balat; Roberto Di Cosmo (CSL, 1999)

Memoization in Type-Directed Partial Evaluation. - Vincent Balat; Olivier Danvy (GPCE, 2002)

Une étude des sommes fortes : isomorphismes et formes normales. (A study of strong sums: isomorphisms and normal forms). - Vincent Balat (2002)

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. - Vincent Balat; Roberto Di Cosmo; Marcelo P. Fiore (POPL, 2004)

Ocsigen: typing web interaction with objective Caml. - Vincent Balat (ML, 2006)

Remarks on isomorphisms in typed lambda calculi with empty and sum types. - Marcelo P. Fiore; Roberto Di Cosmo; Vincent Balat (Ann. Pure Appl. Log., 2006)

O'browser: objective caml on browsers. - Benjamin Canou; Vincent Balat; Emmanuel Chailloux (ML, 2008)

Experience report: ocsigen, a web programming framework. - Vincent Balat; Jérôme Vouillon; Boris Yakobowski (ICFP, 2009)

Specifying Imperative ML-Like Programs Using Dynamic Logic. - Séverine Maingaud; Vincent Balat; Richard Bubel; Reiner Hähnle; Alexandre Miquel (FoVeOOS, 2010)

A Declarative-Friendly API for Web Document Manipulation. - Benjamin Canou; Emmanuel Chailloux; Vincent Balat (PADL, 2013)

Client-server web applications widgets. - Vincent Balat (WWW (Companion Volume), 2013)

From bytecode to JavaScript: the Js_of_ocaml compiler. - Jérôme Vouillon; Vincent Balat (Softw. Pract. Exp., 2014)

Eliom: A Core ML Language for Tierless Web Programming. - Gabriel Radanne; Jérôme Vouillon; Vincent Balat (APLAS, 2016)

Eliom: tierless Web programming from the ground up. - Gabriel Radanne; Vasilis Papavasileiou; Jérôme Vouillon; Vincent Balat (IFL, 2016)

Eliom: A Language for Modular Tierless Web Programming. - Gabriel Radanne; Jérôme Vouillon; Vincent Balat (CoRR, 2019)