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

Sciences du logiciel - Xavier Leroy · 14/03/2024 11:08 · 55 min

Informatique

Contenu de l'épisode

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