Mardi 13h30 - 15h30 et 15h45 - 17h45

Bâtiment Turing, salles 1101 et 1106

Énoncés

• TD 1 - Types algébriques
• TD 2 - Tas binomiaux
• TD 3 - Files d'entiers et parcours de graphes en largeur
• TD 4 - Des arbres en partage
• TD 5 - Spécification vs implémentation
• TD 6 - Itérateurs en OCaml
• TD 7 - Itérateurs en Java
• TD 8 - Flots de données et compression de fichiers

Ressources

• instructions pour installer OCaml et son plugin Eclipse sur votre machine (y compris sous Windows)
• Page web du cours
• Bibliothèque standard Java
• Bibliothèque standard OCaml

Enseignants

Les travaux dirigés sont assurés par

• Karthik Bhargavan et Pierrick Couderc (groupes 1 et 4),
• Jean-Christophe Filliâtre et Thomas Sibut-Pinote (groupes 2 et 5),
• Samuel Mimram et Rémy Besognet El Sibaïe (groupes 3 et 6).