To: seminaire-gallium-moscova@inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Gallium - 09/06/08 - Paris - FR

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

                             S E M I N A I R E
       __                                  
      / _`  _   /  /  o                       /| /|   __  __  __ __    _  _
     /   ) __) /  /  / /  / /\/|    -----    / |/ |  /  )(_  /  /  ) ) ) __)
    (___/ (_/ (_ (_ / (__/ /   |            /     | (__/ __)(_ (__/ (_/ (_/
                                                
                          I N R I A - Rocquencourt
                         Amphi Turing du bâtiment 1

                            Lundi 9 juin, 10h30

                            --------------------
                            Alexandre Pilkiewicz
                            --------------------

                                   INRIA

              ===============================================
                                 Boomerang,
              a Quotiented Bidirectional Programming Language
                          for Ordered String Data
              ===============================================

Most programs compute in a single direction, from input to output. But it is
sometimes useful to take a modified output and "compute backwards" to obtain
a correspondingly modified input. A naive approach would be to just write
down such a backward function. A more PL-folks-friendly one is to design a
bidirectional programming language.

I will present the one designed at the University of Pennsylvania by the team
of Benjamin C. Pierce, Boomerang. Its two main contributions to the bestiary
of bidirectional programming languages are the ability to deal well with
ordered data and the possibility for the programmer to weaken the strong type
system in a safe way by quotienting the lenses (the pieces of program).