Les cours auront généralement lieu les lundis de 13h15 à 14h45 à Ker Lann, et les TP/TD les mercredis à 15h à Beaulieu. Les créneaux de cours et de TP/TD seront intervertis certaines semaines, cf. dates en couleurs inversées ci-dessous; ces séances de cours seront assurées par Alan Schmitt.
Equipe pédagogique: David Baelde et Alexandre Drewery.
Planning
- 4 septembre: pureté, raisonnement équationnel (§1)
- 9 septembre: relation d’évaluation, environnements et clôtures (§2)
- 18 septembre: lambda-calcul, variables libres et liées, substitution et réduction
- 25 septembre: confluence, normalisation et stratégies de réduction
- 2 octobre: sémantique à grands pas, environnements
- 7 octobre: mini-ML
- 14 octobre: cours 7
- 21 octobre: cours 8 + semaine de projet
- vacances la semaine du 28 octobre
- 4 novembre: devoir sur table
- jour férié le 11 novembre
- 18 novembre: cours 9
- 25 novembre: cours 10
- 2 décembre: cours 11
- 9 décembre: cours 12
- devoir sur table le 16 décembre
Les cours 7 à 12 couvriront le typage avancé, les continuations, les modules, la gestion mémoire OCaml et une introduction à Rust.
Documents
- Notes de cours
- Devoirs sur table 2023: mi-semestre, final
- Devoirs sur table 2022: mi-semestre, final
- Devoirs sur table 2021: mi-semestre, final