• Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse . Invited talk given at the Haskell Symposium in Oxford, UK, September 2017.
• 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 Church-Style 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^Ffor 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 linear-time 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.
• Re-exploring multiple inheritance (also available in 2 slides per page). Invited talk given at FOOL 7.