Séminaire - Daan Leijen : Design and Compilation of Efficient

Séminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka Language

Listen now

Description

Xavier Leroy Collège de France Science du logiciel Année 2023-2024 Séminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka Language Daan Leijen Microsoft Research

More Episodes

See all »

Sciences du logiciel - Xavier Leroy

Published 03/14/24

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

Xavier Leroy Collège de France Science du logiciel Année 2023-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

Published 03/14/24

Séminaire - Matija Pretnar : Effect handlers and mathematically inspired language constructs

Xavier Leroy Collège de France Science du logiciel Année 2023-2024 Séminaire - Matija Pretnar : Effect handlers and mathematically inspired language constructs Matija Pretnar Université de Ljubljana

Published 03/07/24