Nom Balat Prénom Vincent Téléphone Bureau Mail Vincent.Balat@irif.fr Page web https://www.irif.fr/~balat Bonjour ! Je suis maître de conférences à l'université Paris Diderot, actuellement en disponibilité. Je suis co-fondateur de BeSport SAS. Mon thème principal de recherche : les langages de programmation pour le Web. Vous pouvez retrouver l'essentiel de mes résultats dans le framework Web Ocsigen. Publications Slides Applications multi-plateforme Web et mobiles avec Ocsigen Systematic 2016-05 Application client-serveurs Systematic 2016-06 Reactive client-server Web applications with Ocsigen OUPS meetup 2014-12 Web applications with Js_of_ocaml and Eliom OUPS meetup 2014-07 Ocsigen Exposé à l'Epita en mars 2014 Articles Gabriel Radanne , Jérôme Vouillon, and Vincent Balat Eliom: A core ML language for tierless Web programming 28th symposium on Implementation and Application of Functional Languages, APLAS 2016, Hanoi, Vietnam, 2016 pdf bib Gabriel Radanne, Vincent Balat, Jérôme Vouillon and Vasilis Papavasileiou Eliom: tierless Web programming from the ground up 14th Asian Symposium on Programming Languages and Systems, IFL 2016, KU Leuven, Belgium 2016 bib Vincent Balat Rethinking Web interaction: theory and implementation International Journal on Advances in Internet Technologies, vol 7, 2014 pdf bib Vincent Balat Client-server Web applications widgets WWW 2013 dev track pdf bibtex Vincent Balat Rethinking Web interaction ICIW 2013 pdf bib Jérôme Vouillon, Vincent Balat From bytecode to Javascript: the Js_of_ocaml compiler in journal Software: Practice and Experience, 2013 pdf bib Benjamin Canou, Emmanuel Chailloux, and Vincent Balat A declarative-friendly API for Web document manipulation PADL 2013 pdf bib Vincent Balat, Pierre Chambart and Grégoire Henry Client-server Web applications with Ocsigen World Wide Web Conference, developers track. WWW2012 pdf bib 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 bib Vincent Balat, Boris Yakobowski, Jérôme Vouillon Experience Report: Ocsigen, a Web Programming Framework International Conference on Functional Programming, ACM, 2009. pdf bib 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 bib Benjamin Canou, Vincent Balat, Emmanuel Chailloux O'Browser: Objective Caml on browsers ACM Sigplan Workshop on ML 2008. pdf bib Vincent Balat Eliom: Programmer's guide PPS technical report (preliminary version), 2007. pdf bib Vincent Balat Ocsigen: Typing Web Interaction with Objective Caml ACM Sigplan Workshop on ML 2006. pdf bib 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 bib 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 bib 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 bib 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 bib 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 bib Vincent Balat and Roberto Di Cosmo A linear logical view of linear type isomorphisms CSL 1999 Conference, LNCS, 1999 ps.gz pdf bib 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 bib 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 bib 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 bib 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 Et puis : Be Sport PSG Be Sport Suresnes Rugby