Sign up to save your podcasts
Or
Share Sciences du logiciel - Xavier Leroy
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Sciences du logiciel - Xavier Leroy
By Collège de France
Écrire un petit programme informatique est facile. Concevoir et réaliser un logiciel complet qui soit fiable, pérenne et résistant aux attaques reste extraordinairement difficile. C'est le but des
... more
FAQs about Sciences du logiciel - Xavier Leroy:
How many episodes does Sciences du logiciel - Xavier Leroy have?
The podcast currently has 174 episodes available.
Sciences du logiciel - Xavier Leroy episodes:
March 14, 2024Séminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka Language 
March 14, 202408 - Structures de contrôle : de « goto » aux effets algébriques : 08 - Structures de contrôle : de « goto » aux effets algébriques : Logiques de programmes pour le contrôle et les effets March 07, 2024Séminaire - Matija Pretnar : Effect handlers and mathematically inspired language constructs March 07, 202407 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets February 29, 2024Séminaire - Olivier Danvy : Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre February 29, 202406 - Structures de contrôle : de « goto » aux effets algébriques : Théorie des effets : des monades aux effets algébriques February 22, 2024Séminaire - Andrew Kennedy : Compiling with Continuations February 22, 202405 - Structures de contrôle : de « goto » aux effets algébriques : Pratique des effets : des exceptions aux gestionnaires d'effets February 15, 202404 - Structures de contrôle : de « goto » aux effets algébriques : Programmer ses structures de contrôle : continuations et opérateurs de contrôle February 15, 2024Séminaire - Delphine Demange : Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôle
FAQs about Sciences du logiciel - Xavier Leroy:
How many episodes does Sciences du logiciel - Xavier Leroy have?
The podcast currently has 174 episodes available.