Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
06 - Structures de contrôle : de « goto » aux effets algébriques : Théorie des effets : des monades aux effets algébriques
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
06 - Structures de contrôle : de « goto » aux effets algébriques : Théorie des effets : des monades aux effets algébriques