Scalable Component Abstractions2005. OOPSLA 2005, San Diego, October 2005.
A Nominal Theory of Objects with Dependent Types2002
Functional Nets2000. European Symposium on Programming 2000, Programming Languages and Systems 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 – April 2, 2000. p. 1-25. DOI : 10.1007/3-540-46425-5_1.
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