Séminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka Language

08 - Structures de contrôle : de « goto » aux effets algébriques : 08 - Structures de contrôle : de « goto » aux effets algébriques : Logiques de programmes pour le contrôle et les effets

Séminaire - Matija Pretnar : Effect handlers and mathematically inspired language constructs

07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets

Séminaire - Olivier Danvy : Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre

06 - Structures de contrôle : de « goto » aux effets algébriques : Théorie des effets : des monades aux effets algébriques

Séminaire - Andrew Kennedy : Compiling with Continuations

05 - Structures de contrôle : de « goto » aux effets algébriques : Pratique des effets : des exceptions aux gestionnaires d'effets

04 - Structures de contrôle : de « goto » aux effets algébriques : Programmer ses structures de contrôle : continuations et opérateurs de contrôle

Séminaire - Delphine Demange : Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôle

Séminaire - Caroline Collange : Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiques

03 - Structures de contrôle : de « goto » aux effets algébriques : Chassez le contrôle... : la programmation déclarative

02 - Structures de contrôle : de « goto » aux effets algébriques : Structures de contrôle avancées : des subroutines aux coroutines et au parallélisme

01 - Structures de contrôle : de « goto » aux effets algébriques : Naissance des structures de contrôle : du « goto » à la programmation structurée

Séminaire - Pierre-Etienne Meunier : Une algèbre de modifications, ou : le contrôle de versions pour tous

07 - Structures de données persistantes : À la recherche du vecteur perdu : limites théoriques et conclusions

Séminaire - Arthur Charguéraud : Comment allier persistance et performance

06 - Structures de données persistantes : De la dérivation formelle à la navigation dans une structure : contextes, zippers, index, etc.

Séminaire - KC Sivaramakrishnan : Mergeable Replicated Data Types

05 - Structures de données persistantes : Systèmes de numération et types non réguliers