Duality in Programming Languages
This seminar introduces the important concept of duality in the theoretical foundations of programming languages. Some of the dualities that will be covered in the seminar are:
- The duality of data and codata types
- Finite and infinite data, induction and coinduction
- Strict and lazy evaluation
- Effects and coeffects
- Monads and Comonads
- The duality of values and continuations
The goal of the seminar is to convey a sense of the beauty of the symmetries and dualities in the foundational calculi for programming languages.
The course language will be German or English, depending on the participants.
Instructors
- David Binder
ResearcherDavid Binder (Office: Room B211) - Klaus Ostermann
HeadKlaus Ostermann
Registration
If you want to participate, please send an e-mail with the following data to david.binder@uni-tuebingen.de:
- Matrikelnummer
- name
- Studiengang + Abschluss
- Fachsemester
- your student e-mail address
The number of participants is restricted to 10. Places are assigned on a first-come, first-served basis.
Structure
TBA
First Meeting
The first meeting will take place on Thursday, 18.04.24, 14 c.t. in room C111 at the Sand.
Schedule
Meetings will take place every Thursday 14-16 in room C111.