Je partage les cours avec Mihaela Sighireanu. Les TP sont assurés par Mathieu Hilaire. Vous trouverez ici le contenu de mes cours. Pour tout le reste, c'est sur ecampus.
Cours 4: monades, introduction (12 février)
- Les diapos: avec overlays ou sans (typos corrigées).
- Le code: tarball.
- Enregistrement de la séance: vidéo.
Cours 5: monades, exemples avancés et transformateurs (19 février)
- Les diapos: PDF.
- Le code: tarball.
- Enregistrement de la séance: vidéo.
- Monade de continuation en bonus sur Ubicast: video.
Cours 6: variants polymorphes (5 mars)
Cours 7: sous-typage (12 mars)
Cette semaine tout est sur Ubicast. Vous avez dû recevoir un mail pour activer votre compte et obtenir les droits d'accès à la chaîne du L3. Contactez-moi en cas de soucis.
- Lambda-calcul simplement sous-typé: video, PDF.
- Extensions: video, PDF.
- Types récursifs: video, PDF.
Cours 8: sous-typage sémantique (25 mars)
Cours 9: types algébriques généralisés (2 avril)
Cette semaine le cours aura de nouveau lieu sur collaborate.