Cours (super, noframes) [man]
[doc] [type-index] Exercices
  1. La programmation par les types
  2. Repliages et itérateurs
  3. Separation des concepts
  1. Fold (*)
  2. Fold structuré (*)
  3. Ramassage efficace (*)
  4. Unification (*)