07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets

Sciences du logiciel - Xavier Leroy ›

1:19:07 | Mar 7th, 2024

Xavier LeroyCollège de FranceScience du logicielAnnée 2023-202407 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets