07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets Sciences du logiciel - Xavier Leroy
-
- Cours
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
1h 19 min