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