Boris Yakobowski

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
Hugo Herbelin	INRIA
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.