1 Feb 2009
I have defended my PhD «Graphical types and constraints: second-order polymorphism and inference» on December 17th, 2008. The jury was composed of
|Pr. Stephanie Weirich||University of Pennsylvania|
|Pr. Fritz Henglein||University of Copenhagen|
|Roberto Di Cosmo||University Paris 7|
|Alexandre Miquel||University Paris 7, ENS Lyon|
|Didier Rémy (PhD advisor)||INRIA|
The final version of the manuscript can be found on TEL, or directly here in color or in black & white. There also exist fully english versions, in color and in black & white. BibTeX entries can be found on my publications page. The slides of the defense are also available.