Descubra como conceber softwares robustos e seguros através de princípios matemáticos, técnicas empíricas e ferramentas inovadoras neste campo fascinante.
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.
Episódios recentes
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
