To: seminaire-gallium-moscova@inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Gallium - 02/07/07 - 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 2 juillet, 10h30

                              ----------------
                              Jacques Garrigue
                              ----------------

                            Université de Nagoya

                        ===========================
                        Union de variants abstraits
                        ===========================

Les variants polymorphes, présents dans OCaml, offrent une souplesse
accrue pour la construction modulaire de structures de données.
Depuis l'introduction des types à rangées privées, on peut les utiliser
de façon abstraite au niveau des foncteurs. Toutefois, une
opération essentielle reste inaccessible dans le cas abstrait: l'union
de variants. Nous décrivons les problèmes introduits par ces unions,
au niveau du sous-typage, du filtrage, et de l'inférence de types.
La notion de compatibilité joue ici un rôle essentiel.
Nous examinons plusieurs approches, utilisant un modèle dénotationnel
pour décrire les différentes notions de compatibilité.

Il s'agit d'un travail joint avec Romain Bardou.