Projet
Enonce
Tps
TP 0 :
Rappels
TP 1 :
Modules et foncteurs
, (
Correction
)
TP 1 bis :
Foncteurs
(
Correction
)
TP 2 :
Zippers
(
Correction
)
TP 2 bis :
Dérivations de zippers
(
Correction
)
TP 3 :
Structures de données efficaces
(
Correction dequeue
,
Correction stream
)
TP 4 :
Structures de données efficaces (suites)
TP 5 :
Usage avancé du système de types
(
Correction
)
TP 5 bis :
Usage avancé du système de types (suite)
TP 6 :
Combinateurs
TP 7 :
Compréhensions de liste