To: seminaire-gallium-moscova@inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Gallium - 19/02/10 - Paris - FR

           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 - Rocquencourt
                         Amphi Turing du bâtiment 1

                         Vendredi 19 février, 10h30

                             -----------------
                             Christophe Calvès
                             -----------------

                               King's College

              ===============================================
              Design and Implementation of Nominal Algorithms
              ===============================================

Handling name management, freshness constraints and specific reduction
strategies simultaneously makes nominal algorithms intricate. Furthermore, an
appropriate implementation of permutations and sets sometimes depends on the
input problem.

In this talk I presents a high level and modular approach to the design and
implementation of nominal algorithms. Each nominal aspect is implemented as a
monadic layer.  We show how the CPS hierarchy can be used to separate the
signature of each layer from its actual implementation. Thus leading to
clearer, safer and more flexible programs.