06 - Structures de contrôle : de « goto » aux effets algébriques : Théorie des effets : des monades aux effets algébriques — Sciences du logiciel - Xavier Leroy

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

Sciences du logiciel - Xavier Leroy · 29/02/2024 06:13 · 1 h 16
Informatique

Contenu de l'épisode

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