08 fév 2024 → 14 Mar 2024 Séminaire Structures de contrôle : de « goto » aux effets algébriques 08 fév 2024 → 14 Mar 2024 Partager Facebook Linkedin Copier le lien
du Jeudi 8 février au Jeudi 14 mars 2024 Voir aussi : Cours associéXavier Leroy Unité de contrôle Jacquard pour métiers à tisser. - © Heinz Nixdorf MuseumsForum / Braun, Jan (CC BY-NC-SA) Documents et médias Télécharger le programme pdf (628.92 Ko) Programme Cours 09:30 - 11:00 Naissance des structures de contrôle : du « goto » à la programmation structurée Xavier Leroy 25 jan 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 jan 2024 09:30 - 11:00 Cours 09:30 - 11:00 Structures de contrôle avancées : des subroutines aux coroutines et au parallélisme Xavier Leroy 01 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 fév 2024 09:30 - 11:00 Cours 09:30 - 11:00 Chassez le contrôle... : la programmation déclarative Xavier Leroy 08 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 fév 2024 09:30 - 11:00 Séminaire 11:15 - 12:15 Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiques Caroline Collange 08 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 fév 2024 11:15 - 12:15 Cours 09:30 - 11:00 Programmer ses structures de contrôle : continuations et opérateurs de contrôle Xavier Leroy 15 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 fév 2024 09:30 - 11:00 Séminaire 11:15 - 12:15 Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôle Delphine Demange 15 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 fév 2024 11:15 - 12:15 Cours 09:30 - 11:00 Pratique des effets : des exceptions aux gestionnaires d'effets Xavier Leroy 22 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 fév 2024 09:30 - 11:00 Séminaire 11:15 - 12:15 Compiling and Typing with Continuations Andrew Kennedy 22 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 fév 2024 11:15 - 12:15 Cours 09:30 - 11:00 Théorie des effets : des monades aux effets algébriques Xavier Leroy 29 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 fév 2024 09:30 - 11:00 Séminaire 11:15 - 12:15 Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre Olivier Danvy 29 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 fév 2024 11:15 - 12:15 Cours 09:30 - 11:00 Typage et analyse statique des effets Xavier Leroy 07 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 09:30 - 11:00 Séminaire 11:15 - 12:15 Effect Handlers and Mathematically Inspired Language Constructs Matija Pretnar 07 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 11:15 - 12:15 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 Séminaire 11:15 - 12:15 Design and Compilation of Efficient Effect Handlers in the Koka Language Daan Leijen 14 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 11:15 - 12:15 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
Cours 09:30 - 11:00 Naissance des structures de contrôle : du « goto » à la programmation structurée Xavier Leroy 25 jan 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 jan 2024 09:30 - 11:00
Cours 09:30 - 11:00 Structures de contrôle avancées : des subroutines aux coroutines et au parallélisme Xavier Leroy 01 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 fév 2024 09:30 - 11:00
Cours 09:30 - 11:00 Chassez le contrôle... : la programmation déclarative Xavier Leroy 08 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 fév 2024 09:30 - 11:00
Séminaire 11:15 - 12:15 Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiques Caroline Collange 08 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 fév 2024 11:15 - 12:15
Cours 09:30 - 11:00 Programmer ses structures de contrôle : continuations et opérateurs de contrôle Xavier Leroy 15 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 fév 2024 09:30 - 11:00
Séminaire 11:15 - 12:15 Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôle Delphine Demange 15 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 fév 2024 11:15 - 12:15
Cours 09:30 - 11:00 Pratique des effets : des exceptions aux gestionnaires d'effets Xavier Leroy 22 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 fév 2024 09:30 - 11:00
Séminaire 11:15 - 12:15 Compiling and Typing with Continuations Andrew Kennedy 22 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 fév 2024 11:15 - 12:15
Cours 09:30 - 11:00 Théorie des effets : des monades aux effets algébriques Xavier Leroy 29 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 fév 2024 09:30 - 11:00
Séminaire 11:15 - 12:15 Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre Olivier Danvy 29 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 fév 2024 11:15 - 12:15
Cours 09:30 - 11:00 Typage et analyse statique des effets Xavier Leroy 07 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 09:30 - 11:00
Séminaire 11:15 - 12:15 Effect Handlers and Mathematically Inspired Language Constructs Matija Pretnar 07 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 11:15 - 12:15
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
Séminaire 11:15 - 12:15 Design and Compilation of Efficient Effect Handlers in the Koka Language Daan Leijen 14 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 11:15 - 12:15
