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

Sciences du logiciel - Xavier Leroy - Un podcast de Collège de France

Catégories:

Technologie

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