→
Séminaire

Structures de contrôle : de « goto » aux effets algébriques

→
    du au
    Voir aussi :
    Unité de contrôle Jacquard pour métiers à tisser. - © Heinz Nixdorf MuseumsForum / Braun, Jan (CC BY-NC-SA)

    Documents et médias

    Programme

    Naissance des structures de contrôle : du « goto » à la programmation structurée
    Xavier Leroy

    -
    Cours
    Structures de contrôle : de « goto » aux effets algébriques
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Structures de contrôle avancées : des subroutines aux coroutines et au parallélisme
    Xavier Leroy

    -
    Cours
    Structures de contrôle : de « goto » aux effets algébriques
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Chassez le contrôle... : la programmation déclarative
    Xavier Leroy

    -
    Cours
    Structures de contrôle : de « goto » aux effets algébriques
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiques
    Caroline Collange

    -
    Séminaire
    Structures de contrôle : de « goto » aux effets algébriques
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Programmer ses structures de contrôle : continuations et opérateurs de contrôle
    Xavier Leroy

    -
    Cours
    Structures de contrôle : de « goto » aux effets algébriques
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôle
    Delphine Demange

    -
    Séminaire
    Structures de contrôle : de « goto » aux effets algébriques
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Pratique des effets : des exceptions aux gestionnaires d'effets
    Xavier Leroy

    -
    Cours
    Structures de contrôle : de « goto » aux effets algébriques
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Compiling and Typing with Continuations
    Andrew Kennedy

    -
    Séminaire
    Structures de contrôle : de « goto » aux effets algébriques
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Théorie des effets : des monades aux effets algébriques
    Xavier Leroy

    -
    Cours
    Structures de contrôle : de « goto » aux effets algébriques
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre
    Olivier Danvy

    -
    Séminaire
    Structures de contrôle : de « goto » aux effets algébriques
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Typage et analyse statique des effets
    Xavier Leroy

    -
    Cours
    Structures de contrôle : de « goto » aux effets algébriques
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Effect Handlers and Mathematically Inspired Language Constructs
    Matija Pretnar

    -
    Séminaire
    Structures de contrôle : de « goto » aux effets algébriques
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Logiques de programmes pour le contrôle et les effets
    Xavier Leroy

    -
    Cours
    Structures de contrôle : de « goto » aux effets algébriques
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Design and Compilation of Efficient Effect Handlers in the Koka Language
    Daan Leijen

    -
    Séminaire
    Structures de contrôle : de « goto » aux effets algébriques
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    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