*********************************************************************
*                       Ecole Normale Supe'rieure                   *
*                                                                   *
*                              Se'minaire                           *
*                SEMANTIQUE ET INTERPRETATION ABSTRAITE             *
*                              P. Cousot                            *
*                                                                   *
*                        Vendredi, 14h--16h                         *
*                 Salle W, 4e`me e'tage, toits du DMI               *
*                 DMI  ENS  45 rue d'Ulm  75005 Paris               *
*********************************************************************

*** Vendredi 2 juin 1995 ********************************************

Rel^ache.

*** Vendredi 9 juin 1995 ********************************************

Building Systems in Standard ML

Peter LEE (Carnegie-Mellon University)

Re'sume' : I have been conducting several experiments in building systems
software (in particular, network communication protocols) in an extension
of Standard ML.  One result of these experiments is tangible evidence that
SML can be used to build practical systems, and that the language provides
many benefits, not just in type safety and easier programming, but also in
allowing the design and implementation of extensible and customizable
high-performance systems.  This is not to say, however, that the current
design and implementation of the language is satisfactory.  In this talk,
I will describe our motivations for the project, the current results, and
several program-analysis and compiler problems that remain to be solved.

This is work with Robert Harper and Edo Biagioni.

*** Vendredi 16 juin 1995 *******************************************

Implicit higher-order polymorphism with primitive subtyping

Franc,ois BOURDONCLE (ENSMP)

Re'sume' : we will present a new system, called ML-sub, which generalises
the ML type system in the case where the set of base types is partially
ordered. We will attempt to show how the extension we propose allows for a
seamless integration of functional and object-oriented programming. The
talk will be very informal, since the theory is under construction.

*** Vendredi 23 juin 1995 *******************************************

Rela^che

*** Vendredi 30 juin 1995 *******************************************

Rela^che

*********************************************************************