Boris Yakobowski

research and other interests


1 Feb 2009

PhD thesis

Created: 7 Jul 2008

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.

Random photographs