07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets — Sciences du logiciel - Xavier Leroy

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

Sciences du logiciel - Xavier Leroy · 07/03/2024 15:34 · 1 h 19
Informatique

Contenu de l'épisode

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