To: seminaire@pauillac.inria.fr
From: Didier.Remy@inria.fr
Subject: SEM - INRIA : Cristal - 20/10/00 - Paris - FR

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


                             S E M I N A I R E
                                         . ___ 
                           /   _   _      /   _   /
                          /   / \ / \  / /   __| /
                         |___ |_/ |_/ / |__ |_/ |_
       ___      .                  /    
      /    ___   __  /_  _   /   _/        /| /|  _   __ __ _       _ 
     /    /   / /_  /   __| /             / |/ | / \ /_ /  / \ | / __|
    |___ /   / __/ |_  |_/ |_            /     | |_/__/ |_ |_/ |/ |_/
                                                
                          I N R I A - Rocquencourt
                       Salle de conference du Bat 11

                         Vendredi 20 octobre, 10h30

                              ----------------
                              Vassily Litvinov
                              ----------------


                   ======================================
                   Constraint-based Polymorphism in Cecil
                   ======================================

    The type  system of Cecil (an  OO language with  multi-methods and other
    advanced  features)  strives  to  be  more  flexible  and  impose  fewer
    constraints  on  the code  it  typechecks,  allowing programming  styles
    closer  to  untyped  programming   and  reducing  the  need  in  dynamic
    casts. The type system is  based on bounded parametric polymorphism with
    a  rich language  of bounds  (including,  as a  special case,  F-bounded
    polymorphism)  and  local type  inference.   The  type  system has  been
    successfully applied  to the  Vortex compiler of  over 100,000  lines of
    Cecil code.