- Introduction à la programmation fonctionnelle, sur l'exemple du langage Ocaml (expressions, évaluation, types de base. polymorphisme, ordre supérieur).
- Fonctions récursives, filtrage. Les diverses stratégies d'évaluation, application à la programmation d'un opérateur de point fixe.
- Les types (sommes, types récursifs, polymorphes. arbres. filtrage).
- Sémantique opérationnelle (liaisons, environnements, clôtures, évaluation des fonctions récursives).
- Aspects impératifs (exceptions, entrées-sorties, séquencement, fichiers, références, tableaux, enregistrements).
- Implantation du filtrage en Ocaml (termes formels, substitutions, filtrage).
Contenu en cours d'actualisation.