07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets
03/07/24 • 79 min
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
07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets
Épisode précédent
Séminaire - Olivier Danvy : Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre
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
Épisode suivant
Séminaire - Matija Pretnar : Effect handlers and mathematically inspired language constructs
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
Si vous aimez cet épisode, vous adorerez
Commentaires de l'épisode
Générer un badge
Obtenez un badge pour votre site web qui renvoie vers ce episode
<a href="https://goodpods.com/podcasts/sciences-du-logiciel-xavier-leroy-355768/07-structures-de-contr%c3%b4le-de-goto-aux-effets-alg%c3%a9briques-typage-et-ana-51389761"> <img src="https://storage.googleapis.com/goodpods-images-bucket/badges/generic-badge-1.svg" alt="listen to 07 - structures de contrôle : de « goto » aux effets algébriques : typage et analyse statique des effets on goodpods" style="width: 225px" /> </a>
Copier