<!--wodoc:div class="project-page"--> <!--wodoc:div class="rightcol"-->


# Research papers

Gabriel Radanne<br/> *Tierless Web programming in ML*<br/> PhD Thesis \- 2017<br/> **[pdf](https://www.irif.fr/~gradanne/papers/phdthesis.pdf) [slides](https://www.irif.fr/~gradanne/papers/talk_phdthesis.pdf)**

Gabriel Radanne \- Jérôme Vouillon<br/> *Tierless modules*<br/> Unpublished<br/> **[author version](https://hal.archives-ouvertes.fr/hal-01485362)**

Gabriel Radanne \- Jérôme Vouillon<br/> *Tierless Web Programming in the Large*<br/> The Web conference \- Web programming track \- 2018<br/> **[author version](https://www.irif.fr/~gradanne/papers/eliom/web2018.pdf)**

Gabriel Radanne , Jérôme Vouillon, and Vincent Balat<br/> *Eliom: A core ML language for tierless Web programming*<br/> 28th symposium on Implementation and Application of Functional Languages, APLAS 2016, Hanoi, Vietnam, 2016<br/> **[pdf](https://www.irif.fr/_media/users/balat/2016aplas-eliom.pdf)** **[bib](https://www.irif.fr/~balat/publications/balat.bib)**

Gabriel Radanne, Vincent Balat, Jérôme Vouillon and Vasilis Papavasileiou<br/> *Eliom: tierless Web programming from the ground up*<br/> 14th Asian Symposium on Programming Languages and Systems, IFL 2016, KU Leuven, Belgium 2016<br/> **[bib](https://www.irif.fr/~balat/publications/balat.bib)**

Vincent Balat<br/> *Rethinking Web interaction: theory and implementation*<br/> International Journal on Advances in Internet Technologies, vol 7, 2014<br/> **[pdf](https://www.irif.fr/~balat/publications/2014balat-rethinking2.pdf)** **[bib](https://www.irif.fr/~balat/publications/balat.bib)**

Vincent Balat<br/> *Client-server Web applications widgets*<br/> WWW 2013 dev track<br/> **[pdf](https://www.irif.fr/~balat/publications/2013balat-www-clserwidgets.pdf)** **[bibtex](https://www.irif.fr/~balat/publications/2013balat-www-clserwidgets.bib)**

Vincent Balat<br/> *Rethinking Web interaction*<br/> ICIW 2013<br/> **[pdf](https://www.irif.fr/~balat/publications/2013balat-rethinking.pdf)** **[bib](https://www.irif.fr/~balat/publications/balat.bib)**

Benjamin Canou<br/> *Programmation Web Typée*<br/> PhD Thesis \- 2011<br/> **[pdf](http://www.benjamin.canou.fr/these.pdf)** **[slides](http://www.benjamin.canou.fr/soutenance.pdf)**

Jérôme Vouillon, Vincent Balat<br/> *From bytecode to Javascript: the Js\_of\_ocaml compiler*<br/> in journal *Software: Practice and Experience*, 2013<br/> **[pdf](https://www.irif.fr/~balat/publications/vouillon_balat-js_of_ocaml.pdf)** **[bib](https://www.irif.fr/~balat/publications/balat.bib)**

Benjamin Canou, Emmanuel Chailloux, Vincent Botbol<br/> *Static Typing & JavaScript Libraries: Towards a More Considerate Relationship*<br/> World Wide Web (WWW) 2013, developer's track (PDF, slides)<br/> **[pdf](http://www.benjamin.canou.fr/papers/www_2013_canou.pdf)**

Benjamin Canou, Emmanuel Chailloux, Jérôme Vouillon<br/> *How to Run your Favorite Language in Web Browsers*<br/> World Wide Web (WWW) 2012, developer's track<br/> **[pdf](http://www.benjamin.canou.fr/papers/www_2012_canou.pdf)** **[slides](http://www.benjamin.canou.fr/slides/www_2012_canou.pdf)**

Benjamin Canou, Emmanuel Chailloux, and Vincent Balat<br/> A declarative-friendly API for Web document manipulation<br/> PADL 2013<br/> **[pdf](https://www.irif.fr/~balat/publications/2013padl-cdom.pdf)** **[bib](https://www.irif.fr/~balat/publications/balat.bib)**

Vincent Balat, Pierre Chambart and Grégoire Henry<br/> *Client-server Web applications with Ocsigen*<br/> World Wide Web Conference, developers track. WWW2012<br/> **[pdf](https://www.irif.fr/~balat/publications/www2012-ocsigen.pdf)** **[bib](https://www.irif.fr/~balat/publications/balat.bib)**

Vincent Balat, Boris Yakobowski, Jérôme Vouillon<br/> *Experience Report: Ocsigen, a Web Programming Framework*<br/> International Conference on Functional Programming, ACM, 2009\.<br/> **[pdf](https://www.irif.fr/~balat/publications/2009icfp-ocsigen.pdf)** **[bib](https://www.irif.fr/~balat/publications/balat.bib)**

Benjamin Canou, Vincent Balat, Emmanuel Chailloux <br/> *O'Browser: Objective Caml on browsers* <br/> ACM Sigplan Workshop on ML 2008\. <br/> **[pdf](https://www.irif.fr/~balat/publications/2008mlworkshop-obrowser.pdf)** **[bib](https://www.irif.fr/~balat/publications/balat.bib)**

Vincent Balat <br/> *Ocsigen: Typing Web Interaction with Objective Caml* <br/> ACM Sigplan Workshop on ML 2006\. <br/> **[pdf](https://www.irif.fr/~balat/publications/2006mlworkshop-balat-ocsigen.pdf)** **[bib](https://www.irif.fr/~balat/publications/balat.bib)**

<!--wodoc:end--> <!--wodoc:end-->
