Séminaire PPS: Giuseppe Castagna le 1/12 à 11H

Bonjour à tous,

Jeudi prochain 1er décembre, Giuseppe Castagna nous présentera ses résultats sur le sous-typage sémantique pour le polymorphisme, publiés à ICFP 2011:

Set-theoretic Parametric Polymorphism and Subtyping

Le séminaire débutera à 11H en salle 1D23 et sera précédé, comme c'est la tradition, par un pot informel pour nous retrouver autour de thé, café et croissants.

Plus de détails sur le séminaire à http://www.pps.jussieu.fr/seminaire.

Amicalement,

Alexis

Set-theoretic Parametric Polymorphism and Subtyping
Giuseppe Castagna (PPS)
Jeudi 1er décembre 2011, 11h salle 1D23
(joint work with Zhiwu Xu)

We define and study parametric polymorphism for a type system with recursive, product, union, intersection, negation, and function types. We first recall why the definition of such a system was considered hard —when not impossible— and then present the main ideas at the basis of our solution. In particular, we introduce the notion of "convexity" on which our solution is built up and discuss its connections with parametricity as defined by Reynolds to whose study our might shed new light.

--

Alexis Saurin
Chargé de Recherche CNRS
Laboratoire PPS, UMR 7126
Équipe PiR2
CNRS, Université Paris Diderot et INRIA
alexis.saurin@pps.jussieu.fr
http://www.pps.jussieu.fr/~saurin