14 Mar 2024 11:15 à 12:15 Séminaire Design and Compilation of Efficient Effect Handlers in the Koka Language Daan Leijen Structures de contrôle : de « goto » aux effets algébriques 14 Mar 2024 11:15 à 12:15 Partager Facebook X (ex-Twitter) Linkedin Copier le lien Flux RSS Audiovisuel
Jeudi 14 mars 2024 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles 11:15 - 12:15 Sauter le player vidéo Youtube URL de la vidéo Écouter l'audio Intervenants Daan Leijen Microsoft Research Voir aussi Cours en relation avec le séminaire : Structures de contrôle : de « goto » aux effets algébriques Xavier Leroy, chaire Sciences du logiciel Structures de contrôle : de « goto » aux effets algébriques Événements Événement Précédent dans le cycle Cours 09:30 - 11:00 Logiques de programmes pour le contrôle et les effets Xavier Leroy 14 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 09:30 - 11:00
Cours 09:30 - 11:00 Logiques de programmes pour le contrôle et les effets Xavier Leroy 14 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 09:30 - 11:00