You are here:
(02 Sep 2010,
*CANCELLED* ----+++ Speaker: [[mailto:Daan@microsoft.com][Daan Leijen]] ----+++ Title: First-class polymorphism with existential types ----+++ Abstract 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 applications. The system is implemented in the experimental Morrow interpreter that I will demo during the talk. Daan Leijen is a former colleague of us who now works as a researcher with Microsoft. <!-- * Set PREV_SKIN = customtitle * Set CUSTOMTOPICTITLE = Abstract Template * Set CUSTOMHEADTITLE = Stc / Abstract Template -->
ore topic actions
Topic revision: r3 - 02 Sep 2010,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?