To: seminaire-gallium-moscova@inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Gallium - 26/10/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

                         Vendredi 26 octobre, 10h30

                               --------------
                               Benoît Montagu
                               --------------

                                   INRIA

                    ===================================
                    Vers des modules de première classe
                    ===================================

"Écrivez du code modulaire !" entend-on dans les cours de programmation.
Mais les notions propres aux modules, que sont l'abstraction de types,
la générativité, l'applicativité peuvent se révéler difficiles à
maîtriser pour un utilisateur non averti. Le chercheur, en quête de
sens, sera malheureusement souvent déçu par les modélisations proposées,
souvent bien plus complexes que l'intuition ne le laissait penser.
Nous montrerons comment un découpage fin des types existentiels permet
de donner une explication simple et concise des notions énumérées
précédemment, ce qui constitue un premier pas vers des modules de
première classe.