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
03/14/24 • 82 min
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
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
Épisode précédent
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
Épisode suivant
Séminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka Language
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
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/08-structures-de-contr%c3%b4le-de-goto-aux-effets-alg%c3%a9briques-08-structures-51389759"> <img src="https://storage.googleapis.com/goodpods-images-bucket/badges/generic-badge-1.svg" alt="listen to 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 on goodpods" style="width: 225px" /> </a>
Copier