Vincent Balat

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