Vincent Balat

Publication Activity (10 Years)

Years Active: 1998-2019
Publications (10 Years): 3

Top Venues

PADL

CoRR

IFL

WWW (Companion Volume)

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Gabriel Radanne, Jérôme Vouillon, Vincent Balat
Eliom: A Language for Modular Tierless Web Programming. CoRR (2019)
Gabriel Radanne, Jérôme Vouillon, Vincent Balat
Eliom: A Core ML Language for Tierless Web Programming. APLAS (2016)
Gabriel Radanne, Vasilis Papavasileiou, Jérôme Vouillon, Vincent Balat
Eliom: tierless Web programming from the ground up. IFL (2016)
Jérôme Vouillon, Vincent Balat
From bytecode to JavaScript: the Js_of_ocaml compiler. Softw. Pract. Exp. 44 (8) (2014)
Vincent Balat
Client-server web applications widgets. WWW (Companion Volume) (2013)
Benjamin Canou, Emmanuel Chailloux, Vincent Balat
A Declarative-Friendly API for Web Document Manipulation. PADL (2013)
Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel
Specifying Imperative ML-Like Programs Using Dynamic Logic. FoVeOOS (2010)
Vincent Balat, Jérôme Vouillon, Boris Yakobowski
Experience report: ocsigen, a web programming framework. ICFP (2009)
Benjamin Canou, Vincent Balat, Emmanuel Chailloux
O'browser: objective caml on browsers. ML (2008)
Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
Remarks on isomorphisms in typed lambda calculi with empty and sum types. Ann. Pure Appl. Log. 141 (1-2) (2006)
Vincent Balat
Ocsigen: typing web interaction with objective Caml. ML (2006)
Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. POPL (2004)
Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. LICS (2002)
Vincent Balat, Olivier Danvy
Memoization in Type-Directed Partial Evaluation. GPCE (2002)
Vincent Balat, Roberto Di Cosmo
A Linear Logical View of Linear Type Isomorphisms. CSL (1999)
Vincent Balat, Olivier Danvy
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. Types in Compilation (1998)

Vincent Balat.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vincent Balat