Jean-François PERROT (LIP6)

   Classes, Types, Universaux ?

En programmation par objets, la question du statut des classes (sont-elles des objets ?) 
fait ressurgir la Querelle des Universaux qui a agité le Moyen-Âge. Mais la même querelle 
peut être ranimée sur le statut des types (présence "réelle" à l'exécution, ou seulement 
à la compilation ?). Le but du séminaire est d'examiner ces questions et, le cas échéant, 
de se quereller avec les spécialistes du typage fort présents dans l'assistance.