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, Alexandre Drewery et Alan Schmitt.
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 (§3)
- 25 septembre: confluence, normalisation et stratégies de réduction (§4)
- 2 octobre: sémantique à grands pas, environnements (§5)
- 7 octobre: lien entre environnements et substitution, mini-ML (§5.3)
- 14 octobre: continuations, CPS (code sur Discord)
- 21 octobre: TP + semaine de projet
- vacances la semaine du 28 octobre
- 4 novembre: gestion mémoire (lundi) + devoir sur table (mercredi, 1h30 + tiers-temps)
- jour férié le 11 novembre
- 18 novembre: types simples (§6)
- 25 novembre: polymorphisme (§7)
- 2 décembre: modules (slides)
- 9 décembre: introduction à Rust (§8)
- devoir sur table le 16 décembre
Documents
- Notes de cours
- Devoirs sur table 2024: mi-semestre, final
- Devoirs sur table 2023: mi-semestre, final
- Devoirs sur table 2022: mi-semestre, final
- Devoirs sur table 2021: mi-semestre, final