Enseignement

(2011-12)

LP Flux numériques - Architecture Internet et Web
M1-STL - Logique
M2-CL - Comception de langages
M2-Tests - Tests
TEC - sudoku/swing: interaction
GameState.java
M2 - proposition de stage - le sujet

Archives

(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