Subject: Un langage a arite variable
Jour: 20/03/98 (Vendredi 20 mars)

[Corrige l'horaire errone annonce dans le message precedent]

           http://pauillac.inria.fr/bin/calendar/Seminaires


                             S E M I N A I R E
       ____               ____                             ___                
      /    _   _         /     __     __  /_  _   /       /   |  _   __   _   
     /    / \ / \  ___  /     /  | / /_  /   __| /  ___  /___/  __| /  | __|  
    |___  |_/ |_/      |____ /    / __/ |_  |_/ |_      /      |_/ /    |_/   
               /                                                              
              /                                                               
                          I N R I A - Rocquencourt, 
                    Salle de confe'rence du batiment 11

                          Vendredi 20 mars, 14h
                                         *******


                              ----------------
                              Chouhed Bouabana
                              ----------------

                          (Universite USTHB-Alger) 
                                      

                        ===========================
                        Un langage a arite variable
                        ===========================


   Mon   expose  portera  sur   les  travaux  que   nous  avons  effectue a
   l'universite d'Alger sur  les fonctions a  arite variable.   Ces travaux
   portent essentiellement  sur la conception d'un environnement applicatif
   qui  utilise  ces fonctions  de  maniere   naturelle et dans   lequel la
   fonction  a arite  variable est l'objet   de programmation  de base.  Je
   detaillerai particulierement la  partie    qui concerne la   theorie  de
   type.  Je parlerai de l'inference de  type  et j'exposerai un algorithme
   d'unification  qui utilise en plus de  la variable classique de type une
   variable de  sequence de types.    Enfin, je  terminerai par donner  les
   objectifs actuels de notre equipe.