École polytechnique –
Département d'informatique –
Master
1 (INF500)
INF549
: Programmation en OCaml.
Pré-requis aux cours INF551 (Computer-aided reasoning), INF564 (compilation) et INF565 (vérification).
Enseignant : Jean-Christophe Filliâtre.
Horaire : Mercredi 18 septembre de 8h30 à 10h00, amphi Laguarrigue (transparents PDF)
Rappelons qu'il existe une excellente documentation du langage et de sa bibliothèque standard.
Enseignant : Jacques-Henri Jourdan
Horaires : (en salles info 33 et 35)
Énoncés :
(l'environnement de travail est décrit au début du TD 1)