Talks

Full reduction and GADTs
.
Talk given at the IFIP WG 2.8 in Kefalonia, Greece, May 2015.

Pushing the Bounds of Subtyping
.
Talk given at the Luca Cardelli's Fest, MSR Cambridge, September 2014.

Ambivalent Types for Principal Type Inference with GADTs
.
Talk given at the IFIP WG 2.8 in Aussois, September 2013.

Typage et inférence de types en OCaml.
Interlude scientifique au cours OCaml de l'INRIA, décembre 2009.

A ChurchStyle Intermediate Language for MLF.
Talk given at the IFIP WG 2.8 in May 2009.

A Logical Account of Type Generativity:
Abstract types have open existential types.
Talk given at MSR Redmond and the IFIP WG 2.8, June 2008.

A new look at ML^{F}
Talk given at Portland State University, June 2008.

ML^{F}for Everyone
(Users, Implementers, and Designers).
Invited talk given at the ML 2007 workshop in Freiburg.

A Fully Graphical Presentation of
ML^{F}
with efficient type inference
.
Talk given at the IFIP working group in July 2007.

A graph representation of
ML^{F}
types with a lineartime unification
algorithm.
Talk given at IFIP WG 2.8 meeting in Boston and University of
Pennsylvania, Jul 2006.
Exposé aux élèves de l'École Normale Supérieure de Lyon, Jan 2005.

Simple, partial type inference for System F
based on type containment.
Talk given at ICFP 05 in Tallinn, Sep 2005.

Entre ML et le système F ou
Inférence partielle de types de seond ordre.
Exposé aux élèves de l'École Normale Supérieure de Lyon, Jan 2005.

A framework for
Partial type inference in the Predicative Fragment of System F+eta.
Talk given at IFIP WG 2.8 in West Point and University of
Pennsylvania, Nov 2004.

Reexploring multiple
inheritance
(also available in 2 slides
per page).
Invited talk given at
FOOL 7.