Eliom: A core ML language for Tierless Web programming - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Eliom: A core ML language for Tierless Web programming

Résumé

Eliom is a dialect of OCaml for Web programming in which server and client pieces of code can be mixed in the same file using syntactic annotations. This allows to build a whole application as a single distributed program, in which it is possible to define in a composable way reusable widgets with both server and client behaviors. Our language also enables simple and type-safe communication. Eliom matches the specificities of the Web by allowing the programmer to interleave client and server code while maintaining efficient one-way server-to-client communication. The Eliom language is both sufficiently small to be implemented on top of an existing language and sufficiently powerful to allow expressing many idioms of Web programming. In this paper, we present a formalization of the core language of Eliom. We provide a type system, the execution model and a compilation scheme.
Fichier principal
Vignette du fichier
main.pdf (717.36 Ko) Télécharger le fichier
talkaplas.pdf (1.17 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01349774 , version 1 (27-11-2016)

Licence

Paternité - Pas de modifications

Identifiants

  • HAL Id : hal-01349774 , version 1

Citer

Gabriel Radanne, Jérôme Vouillon, Vincent Balat. Eliom: A core ML language for Tierless Web programming. APLAS 2016, Nov 2016, Hanoi, Vietnam. ⟨hal-01349774⟩
395 Consultations
577 Téléchargements

Partager

Gmail Facebook X LinkedIn More