Découvrez comment concevoir des logiciels robustes et sécurisés grâce à des principes mathématiques, des techniques empiriques et des outils innovants dans ce domaine passionnant.
Séminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka Language
55 mins • Mar 14, 2024
Charts
This show is not currently ranked in any charts.
Épisodes récents
Mar 14, 2024
Séminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka Language
55 mins
Mar 14, 2024
08 - 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
82 mins
Mar 7, 2024
Séminaire - Matija Pretnar : Effect handlers and mathematically inspired language constructs
64 mins
Mar 7, 2024
07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets
79 mins
Feb 29, 2024
Séminaire - Olivier Danvy : Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre
59 mins
