Talks
  1. Full reduction and GADTs . Talk given at the IFIP WG 2.8 in Kefalonia, Greece, May 2015.
  2. Pushing the Bounds of Subtyping . Talk given at the Luca Cardelli's Fest, MSR Cambridge, September 2014.
  3. Ambivalent Types for Principal Type Inference with GADTs . Talk given at the IFIP WG 2.8 in Aussois, September 2013.
  4. Typage et inférence de types en OCaml. Interlude scientifique au cours OCaml de l'INRIA, décembre 2009.
  5. A Church-Style Intermediate Language for MLF. Talk given at the IFIP WG 2.8 in May 2009.
  6. 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.
  7. A new look at MLF Talk given at Portland State University, June 2008.
  8. MLFfor Everyone (Users, Implementers, and Designers). Invited talk given at the ML 2007 workshop in Freiburg.
  9. A Fully Graphical Presentation of MLF with efficient type inference . Talk given at the IFIP working group in July 2007.
  10. A graph representation of MLF 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.
  11. Simple, partial type inference for System F based on type containment. Talk given at ICFP 05 in Tallinn, Sep 2005.
  12. 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.
  13. 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.
  14. Re-exploring multiple inheritance (also available in 2 slides per page). Invited talk given at FOOL 7.