Structures de contrôle : de « goto » aux effets algébriques (14) - Xavier Leroy (2023-2024)

Daan Leijen explains the design and compilation of efficient algebraic effect handlers in the Koka programming language.

Enseignement 2023-2024 : Structures de contrôle : de « goto » aux effets algébriques Séminaire du 14 mars 2024 : Design and Compilation of Efficient Effect Handlers in the Koka Language Intervenant : Daan Leijen, Microsoft Research Retrouvez les enregistrements audios et vidéos du cycle et son texte de présentation : college-de-france.fr/fr/agenda/seminaire/structures-de-contr… Chaire Sciences du logiciel Professeur : Xavier Leroy Retrouvez tous les enseignements du Pr Xavier Leroy : college-de-france.fr/chaire/xavier-leroy-sciences-du-logicie… youtube.com/playlist?list=PLtimy8tnozICbD45yhB7Ha_zIBJTIK3im Le Collège de France est une institution de recherche fondamentale dans tous les domaines de la connaissance et un lieu de diffusion du « savoir en train de se faire » ouvert à tous. Les cours, séminaires, colloques sont enregistrés puis mis à disposition du public sur le site internet du Collège de France. Découvrez toutes les ressources du Collège de France : college-de-france.fr Suivez-nous sur : Facebook : facebook.com/College.de.France Instagram : instagram.com/collegedefrance X (ex-Twitter) : twitter.com/cdf1530 LinkedIn : fr.linkedin.com/company/collègedefrance Threads : threads.net/@collegedefrance Bluesky : bsky.app/profile/college-de-france.fr Facebook : facebook.com/College.de.France Instagram : instagram.com/collegedefrance LinkedIn : fr.linkedin.com/company/coll%C3%A8gedefrance