Page perso | 
Liens externes : PPS |  Ocsigen |  DemoLinux

Vincent Balat

Publications

Vincent Balat
Rethinking Web interaction: theory and implementation
International Journal on Advances in Internet Technologies, vol 7, 2014
pdf

Vincent Balat
Client-server Web applications widgets
WWW 2013 dev track
bibtex

Vincent Balat
Rethinking Web interaction
ICIW 2013
pdf

Jérôme Vouillon, Vincent Balat
From bytecode to Javascript: the Js_of_ocaml compiler
pdf accepted for publication in journal Software: Practice and Experience, 2013

Benjamin Canou, Emmanuel Chailloux, and Vincent Balat
A declarative-friendly API for Web document manipulation
PADL 2013

Vincent Balat, Pierre Chambart and Grégoire Henry
Client-server Web applications with Ocsigen
World Wide Web Conference, developers track. WWW2012

Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel
Specifying Imperative ML-like Programs using Dynamic Logic
International Conference on Formal Verification of Object-Oriented Software (FOVEOOS) 2010
pdf

Vincent Balat, Boris Yakobowski, Jérôme Vouillon
Experience Report: Ocsigen, a Web Programming Framework
International Conference on Functional Programming, ACM, 2009.
pdf

Vincent Balat
Ocsigen : approche fonctionnelle typée de la programmation Web.
Exposé invité, Journée francophones des langages applicatifs 2009.

Vincent Balat
Keeping sums under control
NBE 2009
pdf

Benjamin Canou, Vincent Balat, Emmanuel Chailloux
O'Browser: Objective Caml on browsers
ACM Sigplan Workshop on ML 2008.
pdf

Vincent Balat
Eliom: Programmer's guide
PPS technical report (preliminary version), 2007.
pdf

Vincent Balat
Ocsigen: Typing Web Interaction with Objective Caml
ACM Sigplan Workshop on ML 2006.
pdf

Marcelo Fiore, Roberto Di Cosmo, and Vincent Balat
Remarks on isomorphisms in typed lambda calculi with empty and sum types
in Annals of Pure and Applied Logic, vol 141, number 1-2, pp. 35-50, August 2006.
pdf

Vincent Balat, Roberto Di Cosmo, and Marcelo Fiore
Extensional Normalisation and Type Directed Partial Evaluation for Typed Lambda Calculus with Sums
ACM SIGPLAN - SIGACT Symposium POPL 2004
pdf download the implementation

Vincent Balat
Une étude des sommes fortes : isomorphismes et formes normales
Thèse de doctorat sous la direction de Roberto Di Cosmo. Décembre 2002
ps.gz pdf

Vincent Balat, Roberto Di Cosmo, and Marcelo Fiore
Remarks on isomorphisms in typed lambda calculi with empty and sum type
IEEE Symposium LICS 2002. Copenhagen, Denmark, July 2002
ps.gz pdf

Vincent Balat, and Olivier Danvy
Memoization in Type-directed partial evaluation
ACM SIGPLAN - SIGSOFT Conference GPCE 2002 (GCSE/SAIG). Pittsburgh, USA, october 2002
ps.gz pdf

Vincent Balat and Roberto Di Cosmo
A linear logical view of linear type isomorphisms
CSL 1999 Conference, LNCS, 1999
ps.gz pdf

Vincent Balat and Didier Galmiche
Labelled proof systems for intuitionistic provability
in Labelled Deduction, David Basin, Marcello d'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò, Kluwer Academic Publishers
ps.gz pdf

Vincent Balat
Prouvabilité intuitionniste en logique linéaire
DEA Sémantique Preuves et Programmation, ENS de Cachan. Rapport de stage au Loria, Nancy, sous la direction de Didier Galmiche
ps.gz pdf

Vincent Balat and Olivier Danvy
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation
TIC 1998 Proceedings, LNCS 1473, Kyoto, Japan, 1998
ps.gz pdf

Vincent Balat
Évaluation partielle dirigée par les types en Objective CAML
ENS de Lyon. Rapport de stage de deuxième année à BRICS, université de Åhrus, Danemark, sous la direction d'Olivier Danvy
ps.gz pdf

Vincent Balat
Approche de la calculabilité sur les réels
ENS de Lyon. Rapport de stage de première année à l'Institut de Mathématiques de Luminy, Marseille, sous la direction de François Blanchard
ps.gz pdf