L'organisation matérielle de l'enseignement
-
3 enseignants, 3 parties:
-
Valérie Ménissier-Morain, présentation du langage
- Marc Pouzet, typage
- Renaud Rioboo, évaluation
- La bibliographie:
- [1]
-
Thérèse Accart Hardin and Véronique Donzeau-Gouge Viguié.
Concepts et outils de programmation -- le style fonctionnel, le
style impératif avec CAML et Ada.
InterEditions, 1991.
- [2]
-
Jacques Rouablé.
Programmation en Caml -- Cours et atelier.
Eyrolles, 1997.
- [3]
-
Pierre Weis and Xavier Leroy.
Le langage Caml.
Dunod, 1999.
- [4]
-
Xavier Leroy and Pierre Weis.
Manuel de Référence du langage Caml.
InterEditions, 1993.
- [5]
-
Guy Cousineau and Michel Mauny.
Approche fonctionnelle de la programmation.
Ediscience (Collection Informatique), 1995.
- Le contrôle des connaissances: partiel (dernière semaine de
novembre), examen (mi-janvier), 3 TP notés
- Les documents
-
Les transparents
- Le manuel de référence, disponible en ligne en TP, sur papier au
secrétariat, à amener en TD et en TP
- Le viatique UNIX