Programmation, Langage, Web, ML, Compilation, Système de type, Formalisation

Eliom est un dialecte d'OCaml pour la programmation Web qui permet, à l'aide d'annotations syntaxiques, de déclarer code client et code serveur dans un même fichier.Ceci permet de construire une application complète comme un unique programme distribué dans lequel il est possible de définir des widgets aisément composables avec des comportements à la fois client et serveur. Eliom assure un bon comportement des communications grâce à un système de type et de nouvelles constructions adaptés à la programmation Web. De plus, Eliom est efficace: un découpage statique sépare les parties client et serveur durant la compilation et évite de trop nombreuses communications entre le client et le serveur. Enfin, Eliom supporte la modularité et l'encapsulation grâce à une extension du système de module d'OCaml permettant l'ajout d'annotations indiquant si une définition est présente sur le serveur,le client, ou les deux. Cette thèse présente la conception, la formalisation et l'implémention du langage Eliom.