07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets
Sciences du logiciel - Xavier Leroy - A podcast by Collège de France

Categories:
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