{{page>inc&noheader&nofooter}} Bonjour ! Je suis maître de conférences à l'université Paris Diderot, actuellement en disponibilité. Je suis co-fondateur de [[http://besport.com|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 [[http://ocsigen.org|Ocsigen]]. ====== Publications ====== ==== Slides ==== * {{:users:balat:201605-systematic-ocsigen-applimobiles.pdf|Applications multi-plateforme Web et mobiles avec Ocsigen}} Systematic 2016-05 * {{:users:balat:201605-systematic-ocsigen-applis-clserv.pdf|Application client-serveurs}} Systematic 2016-06 * {{:users:balat:201412-oups-ocsigen-react.pdf|Reactive client-server Web applications with Ocsigen}} OUPS meetup 2014-12 * {{:users:balat:201407-oups-ocsigen.pdf|Web applications with Js_of_ocaml and Eliom}} OUPS meetup 2014-07 * {{:users:balat:201403-epita-ocsigen.pdf|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\\ //{{:users:balat:2016aplas-eliom.pdf|pdf}}// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|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\\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|bib]]// Vincent Balat\\ //Rethinking Web interaction: theory and implementation//\\ International Journal on Advances in Internet Technologies, vol 7, 2014\\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/2014balat-rethinking2.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|bib]]// Vincent Balat\\ //Client-server Web applications widgets//\\ WWW 2013 dev track\\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/2013balat-www-clserwidgets.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/2013balat-www-clserwidgets.bib|bibtex]]// Vincent Balat\\ //Rethinking Web interaction//\\ ICIW 2013\\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/2013balat-rethinking.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|bib]]// Jérôme Vouillon, Vincent Balat\\ //From bytecode to Javascript: the Js_of_ocaml compiler//\\ in journal //Software: Practice and Experience//, 2013\\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/vouillon_balat-js_of_ocaml.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|bib]]// Benjamin Canou, Emmanuel Chailloux, and Vincent Balat\\ A declarative-friendly API for Web document manipulation\\ PADL 2013\\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/2013padl-cdom.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|bib]]// Vincent Balat, Pierre Chambart and Grégoire Henry\\ //Client-server Web applications with Ocsigen//\\ World Wide Web Conference, developers track. WWW2012\\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/www2012-ocsigen.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|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\\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/maingaud-specifying_ml_programs_dl.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|bib]]// Vincent Balat, Boris Yakobowski, Jérôme Vouillon\\ //Experience Report: Ocsigen, a Web Programming Framework//\\ International Conference on Functional Programming, ACM, 2009.\\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/2009icfp-ocsigen.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|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 \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/2009nbe-balat-keepingsums.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|bib]]// Benjamin Canou, Vincent Balat, Emmanuel Chailloux \\ //O'Browser: Objective Caml on browsers// \\ ACM Sigplan Workshop on ML 2008. \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/2008mlworkshop-obrowser.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|bib]]// Vincent Balat \\ //Eliom: Programmer's guide// \\ PPS technical report (preliminary version), 2007. \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/2008-balat-eliom-1.1.0.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|bib]]// Vincent Balat \\ //Ocsigen: Typing Web Interaction with Objective Caml// \\ ACM Sigplan Workshop on ML 2006. \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/2006mlworkshop-balat-ocsigen.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|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. \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/apal-balat_dicosmo_fiore-remarks_on_isomorphisms_with_empty_and_sum_type.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|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 \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/POPL2004-fioredicosmobalat-extensional_normaization_tdpe_with_sums.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|bib]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/tdpe-popl04.php|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 \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/these-balat.ps.gz|ps.gz]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/these-balat.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|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 \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/lics02-balat_dicosmo_fiore-remarks_on_isomorphisms_with_empty_and_sum_type.ps.gz|ps.gz]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/lics02-balat_dicosmo_fiore-remarks_on_isomorphisms_with_empty_and_sum_type.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|bib]]// Vincent Balat, and Olivier Danvy \\ //Memoization in Type-directed partial evaluation// \\ ACM SIGPLAN - SIGSOFT Conference GPCE 2002 (GCSE/SAIG). Pittsburgh, USA, october 2002 \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/gpce02-balat_danvy-memoisation_in_tdpe.ps.gz|ps.gz]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/gpce02-balat_danvy-memoisation_in_tdpe.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|bib]]// Vincent Balat and Roberto Di Cosmo \\ //A linear logical view of linear type isomorphisms// \\ CSL 1999 Conference, LNCS, 1999 \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/csl99-balat_dicosmo-a_linear_logical_view_of_linear_type_isomorphisms.ps.gz|ps.gz]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/csl99-balat_dicosmo-a_linear_logical_view_of_linear_type_isomorphisms.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|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 \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat_galmiche-labelled_proof_systems_for_intuitionnistic_provability.ps.gz|ps.gz]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat_galmiche-labelled_proof_systems_for_intuitionnistic_provability.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|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 \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/stage98.ps.gz|ps.gz]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/stage98.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|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 \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat-danvy.ps.gz|ps.gz]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat-danvy.pdf|pdf]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/balat.bib|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 \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/stage97.ps.gz|ps.gz]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/stage97.pdf|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 \\ //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/stage96.ps.gz|ps.gz]]// //[[https://www.irif.univ-paris-diderot.fr/~balat/publications/stage96.pdf|pdf]]// Et puis : [[http://besport.com/group/338|Be Sport PSG]] [[http://besport.com/group/83689|Be Sport Suresnes Rugby]]