Scalable Component Abstractions2005. OOPSLA 2005, San Diego, October 2005.
A Nominal Theory of Objects with Dependent Types2002
Functional Nets2000. European Symposium on Programming 2000.
Making the future safe for the past: Adding Genericity to the Java Programming Language1998. OOPSLA 1998.
Pizza into Java: Translating theory into practice1997. 24th ACM Symposium on Principles of Programming Languages, Paris, France, January 1997.
Enseignement & Phd