Programmation Avancée

ENS Paris-Saclay, L3, 2020-2021

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)

Cours 5: monades, exemples avancés et transformateurs (19 février)

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.

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.