Vous pouvez vous abonner à nos annonces de séminaires
		    http://gallium.inria.fr/seminaires/

			     S E M I N A I R E
			   __
			  / _`  _   /  /  o
			 /   ) __) /  /  / /  / /\/|
			(___/ (_/ (_ (_ / (__/ /   |

			     I N R I A - Paris
                 2 rue Simone Iff (ou: 41 rue du Charolais)
                          Salle Lions 1, bâtiment C

                           Lundi 12 décembre, 10h30

                               ---------------
                               Gabriel Radanne
                               ---------------

                                     IRIF

            ======================================================
            Eliom: A core ML language for tierless Web programming
            ======================================================

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.
This talk will present a formalization of the core language of Eliom, the
programming paradigms it enables, a discussion around the implementation and
the various related ongoing work.