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