Partager Facebook X (ex-Twitter) Linkedin Copier le lien Agenda 37 événements Filtres Dates Close Dates Dates Du Au 7 prochains jours 30 prochains jours Professeur, chaire, laboratoire Close Professeur, chaire, laboratoire Professeur, chaire, laboratoire Rechercher un professeur, une chaire ou un laboratoire Xavier Leroy (2018 - aujourd'hui) Domaines Close Domaines Domaines Mathématiques et sciences informatiques (37) Type d'enseignement Close Type d'enseignement Type d'enseignement Cours (48) (-) Séminaire (37) Colloque (3) Leçon inaugurale (1) Conférencier invité (1) Filtres actifs Xavier Leroy (2018 - aujourd'hui) Séminaire 20 avr 2023 Séminaire 11:15 - 12:15 Une algèbre de modifications, ou : le contrôle de versions pour tous Pierre-Etienne Meunier 20 avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 avr 2023 11:15 - 12:15 08 fév 2024 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 15 fév 2024 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 22 fév 2024 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 29 fév 2024 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 07 Mar 2024 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 14 Mar 2024 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 Pagination Première page Page précédente Page 1 Page courante 2
Séminaire 11:15 - 12:15 Une algèbre de modifications, ou : le contrôle de versions pour tous Pierre-Etienne Meunier 20 avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 avr 2023 11:15 - 12:15
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
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
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
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
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
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