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