→
Seminar

Control structures : from goto to algebraic effects

→
    from to
    See also:
    Jacquard control unit for looms. -  Heinz Nixdorf MuseumsForum / Braun, Jan (CC BY-NC-SA)

    Documents and media

    Program

    The birth of control structures : from " goto " to structured programming
    Xavier Leroy

    -
    Lecture
    Control structures : from goto to algebraic effects
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Advanced control structures : from subroutines to coroutines and parallelism
    Xavier Leroy

    -
    Lecture
    Control structures : from goto to algebraic effects
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Control hunting... : declarative programming
    Xavier Leroy

    -
    Lecture
    Control structures : from goto to algebraic effects
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    How to reconcile parallelism and control ? Approaches to general-purpose and graphics processor architectures
    Caroline Collange

    -
    Seminar
    Control structures : from goto to algebraic effects
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Programming control structures : continuations and control operators
    Xavier Leroy

    -
    Lecture
    Control structures : from goto to algebraic effects
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Intermediate representations for compilation : freeing yourself from the control flow graph
    Delphine Demange

    -
    Seminar
    Control structures : from goto to algebraic effects
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Effects practice : from exceptions to effects managers
    Xavier Leroy

    -
    Lecture
    Control structures : from goto to algebraic effects
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Compiling and Typing with Continuations
    Andrew Kennedy

    -
    Seminar
    Control structures : from goto to algebraic effects
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Effect theory : from monads to algebraic effects
    Xavier Leroy

    -
    Lecture
    Control structures : from goto to algebraic effects
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Continuations : five minutes to learn, a lifetime to understand 
    Olivier Danvy

    -
    Seminar
    Control structures : from goto to algebraic effects
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Typing and static analysis of effects
    Xavier Leroy

    -
    Lecture
    Control structures : from goto to algebraic effects
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Effect Handlers and Mathematically Inspired Language Constructs
    Matija Pretnar

    -
    Seminar
    Control structures : from goto to algebraic effects
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Program logic for control and effects
    Xavier Leroy

    -
    Lecture
    Control structures : from goto to algebraic effects
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

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

    -
    Seminar
    Control structures : from goto to algebraic effects
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    See also

    Lecture related to the seminar: Control structures : from goto to algebraic effects
    Xavier Leroy, chair Software Science