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