Enseignement

(2021-22)

M2 - SVP: Spécification et vérification de programmes
M1 - APS: Analyse de programmes et sémantique

Archives

(2020-21) (2019-20) (2018-19) (2017-18) (2016-17) (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