08 - Structures de contrôle : de « goto » aux effets algébriques : 08 - Structures de contrôle : de « goto » aux effets algébriques : Logiques de programmes pour le contrôle et les effets — Sciences du logiciel - Xavier Leroy

08 - Structures de contrôle : de « goto » aux effets algébriques : 08 - Structures de contrôle : de « goto » aux effets algébriques : Logiques de programmes pour le contrôle et les effets

Sciences du logiciel - Xavier Leroy · 14/03/2024 11:07 · 1 h 22

Contenu de l'épisode

Xavier Leroy

Collège de France

Science du logiciel

Année 2023-2024

08 - Structures de contrôle : de « goto » aux effets algébriques : 08 - Structures de contrôle : de « goto » aux effets algébriques : Logiques de programmes pour le contrôle et les effets