By Collège de France
Écrire un petit programme informatique est facile. Concevoir et réaliser un logiciel complet qui soit fiable, pérenne et résistant aux attaques reste extraordinairement difficile. C'est le but des
... more
The podcast currently has 174 episodes available.
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
Séminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka Language
Daan Leijen
Microsoft Research
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
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
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
Séminaire - Matija Pretnar : Effect handlers and mathematically inspired language constructs
Matija Pretnar
Université de Ljubljana
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
Séminaire - Olivier Danvy : Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre
Olivier Danvy
National University of Singapore
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
06 - Structures de contrôle : de « goto » aux effets algébriques : Théorie des effets : des monades aux effets algébriques
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
Séminaire - Andrew Kennedy : Compiling with Continuations
Andrew Kennedy
Meta
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
05 - Structures de contrôle : de « goto » aux effets algébriques : Pratique des effets : des exceptions aux gestionnaires d'effets
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
04 - Structures de contrôle : de « goto » aux effets algébriques : Programmer ses structures de contrôle : continuations et opérateurs de contrôle
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
Séminaire - Delphine Demange : Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôle
Delphine Demange
Université de Rennes
The podcast currently has 174 episodes available.