Options d’inscription
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
- Enseignant responsable de cours: erwan jahier
- Enseignant responsable de cours: Jean-François Monin
- Enseignant responsable de cours: Benjamin Wack