Algorithmique et Programmation Fonctionnelle

Découverte de l'algorithmique fonctionnelle

Apprentissage du langage Ocaml

Notions de typage

Analyse syntaxique descendante récursive par flots

Lambda-calcul, ordre supérieur