To: seminaire@pauillac.inria.fr From: Didier.Remy@inria.fr Subject: SEM - INRIA : Gallium - 09/10/06 - Paris - FR Vous pouvez vous abonner à nos annonces de séminaires http://pauillac.inria.fr/seminaires/subscribe.html S E M I N A I R E __ / _` _ / / o /| /| __ __ __ __ _ _ / ) __) / / / / / /\/| ----- / |/ | / )(_ / / ) ) ) __) (___/ (_/ (_ (_ / (__/ / | / | (__/ __)(_ (__/ (_/ (_/ I N R I A - Rocquencourt Amphi A. Turing, Bat 1. Lundi 9 octobre, 10h30 ----------- Daan Leijen ----------- ================================================ First-class polymorphism with existential types. ================================================ In this talk, I present an extension of the MLF type system with first-class existential types. MLF is a type inference system that supports first-class polymorphism (ie. impredicative and higher-rank). MLF can be extended elegantly with existential types, which are simply introduced by an annotation, and eliminated through an open construct or automatically in certain application+s. The system is implemented in the experimental Morrow interpreter that I will demo during the talk.