Enseignement

(2016-17)

L2 - 2I013: projet PentoDroid
M1 - APS: Analyse des programmes et sémantiques

Archives

(2015-16) (2014-15) (2013-14) (2012-13) (2011-12) (2010-11) (2009-10) (2008-09) (2007-08) (2006-07) (2003-04) (2002-03) (2001-02) (2000-01) (99-2000) (98-99)

Divers

Programming with Objective Caml Shangai Jiao Tong University, Sept. 2002.
Functional Programming, Inductive Data Types and Proofs Tbilisi State University, Oct. 2007.
Modules et objets pour la programmation générique en Objective Caml Luminy mai 2008.

Page initiale Maison