08 Feb 2024 → 14 Mar 2024 Seminar Control structures : from goto to algebraic effects 08 Feb 2024 → 14 Mar 2024 Share Facebook Linkedin Copy url
from Thursday 8 February to Thursday 14 March 2024 See also: Related LectureXavier Leroy Jacquard control unit for looms. - Heinz Nixdorf MuseumsForum / Braun, Jan (CC BY-NC-SA) Documents and media Download program pdf (628.92 KB) Program Lecture 09:30 - 11:00 The birth of control structures : from " goto " to structured programming Xavier Leroy 25 Jan 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Jan 2024 09:30 - 11:00 Lecture 09:30 - 11:00 Advanced control structures : from subroutines to coroutines and parallelism Xavier Leroy 01 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Feb 2024 09:30 - 11:00 Lecture 09:30 - 11:00 Control hunting... : declarative programming Xavier Leroy 08 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Feb 2024 09:30 - 11:00 Seminar 11:15 - 12:15 How to reconcile parallelism and control ? Approaches to general-purpose and graphics processor architectures Caroline Collange 08 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Feb 2024 11:15 - 12:15 Lecture 09:30 - 11:00 Programming control structures : continuations and control operators Xavier Leroy 15 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Feb 2024 09:30 - 11:00 Seminar 11:15 - 12:15 Intermediate representations for compilation : freeing yourself from the control flow graph Delphine Demange 15 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Feb 2024 11:15 - 12:15 Lecture 09:30 - 11:00 Effects practice : from exceptions to effects managers Xavier Leroy 22 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 Feb 2024 09:30 - 11:00 Seminar 11:15 - 12:15 Compiling and Typing with Continuations Andrew Kennedy 22 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 Feb 2024 11:15 - 12:15 Lecture 09:30 - 11:00 Effect theory : from monads to algebraic effects Xavier Leroy 29 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 Feb 2024 09:30 - 11:00 Seminar 11:15 - 12:15 Continuations : five minutes to learn, a lifetime to understand Olivier Danvy 29 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 Feb 2024 11:15 - 12:15 Lecture 09:30 - 11:00 Typing and static analysis of effects Xavier Leroy 07 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 09:30 - 11:00 Seminar 11:15 - 12:15 Effect Handlers and Mathematically Inspired Language Constructs Matija Pretnar 07 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 11:15 - 12:15 Lecture 09:30 - 11:00 Program logic for control and effects Xavier Leroy 14 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 09:30 - 11:00 Seminar 11:15 - 12:15 Design and Compilation of Efficient Effect Handlers in the Koka Language Daan Leijen 14 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 11:15 - 12:15 See also Lecture related to the seminar: Control structures : from goto to algebraic effects Xavier Leroy, chair Software Science
Lecture 09:30 - 11:00 The birth of control structures : from " goto " to structured programming Xavier Leroy 25 Jan 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Jan 2024 09:30 - 11:00
Lecture 09:30 - 11:00 Advanced control structures : from subroutines to coroutines and parallelism Xavier Leroy 01 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Feb 2024 09:30 - 11:00
Lecture 09:30 - 11:00 Control hunting... : declarative programming Xavier Leroy 08 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Feb 2024 09:30 - 11:00
Seminar 11:15 - 12:15 How to reconcile parallelism and control ? Approaches to general-purpose and graphics processor architectures Caroline Collange 08 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Feb 2024 11:15 - 12:15
Lecture 09:30 - 11:00 Programming control structures : continuations and control operators Xavier Leroy 15 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Feb 2024 09:30 - 11:00
Seminar 11:15 - 12:15 Intermediate representations for compilation : freeing yourself from the control flow graph Delphine Demange 15 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Feb 2024 11:15 - 12:15
Lecture 09:30 - 11:00 Effects practice : from exceptions to effects managers Xavier Leroy 22 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 Feb 2024 09:30 - 11:00
Seminar 11:15 - 12:15 Compiling and Typing with Continuations Andrew Kennedy 22 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 Feb 2024 11:15 - 12:15
Lecture 09:30 - 11:00 Effect theory : from monads to algebraic effects Xavier Leroy 29 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 Feb 2024 09:30 - 11:00
Seminar 11:15 - 12:15 Continuations : five minutes to learn, a lifetime to understand Olivier Danvy 29 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 Feb 2024 11:15 - 12:15
Lecture 09:30 - 11:00 Typing and static analysis of effects Xavier Leroy 07 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 09:30 - 11:00
Seminar 11:15 - 12:15 Effect Handlers and Mathematically Inspired Language Constructs Matija Pretnar 07 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 11:15 - 12:15
Lecture 09:30 - 11:00 Program logic for control and effects Xavier Leroy 14 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 09:30 - 11:00
Seminar 11:15 - 12:15 Design and Compilation of Efficient Effect Handlers in the Koka Language Daan Leijen 14 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 11:15 - 12:15
