Functional Programming and Logic – Seminar (Summer 2025)
General Information
- Lecturer: Prof. Dr. Peter Thiemann
- Assistant: Janek Spaderna
- Kickoff meeting: Tue 22.04.25, 16:00, Building 106, R 04 007
- First session: Tue 27.05.25, 16:00
| Date | News |
|---|---|
| 04.04. | List of topics available, preliminary schedule |
| 02.05. | No meeting 06.05. and 13.05. |
| 17.06. | Fix dates for last two meetings (dates were swapped) |
Topics
The papers are linked from the Google sheet. Accessing some of them may require a connection from inside the university network or logging in via the institutional access provided by the university.
Schedule
| Date | Topics |
|---|---|
| 27.05. | - An introduction to logical relations (PT) |
| 03.06. | - Propositions as types (JS) - A taste of linear logic (JS) |
| 10.06. | — No meeting — |
| 17.06. | - Theorems for free! (JS) - Semantic subtyping (PT) |
| 24.06. | - Oxidizing OCaml with modal memory management (PT) - Substructural parametricity (PT) |
| 01.07. | - Free applicative functors (JS) - Freer monads (JS) |
| 08.07. | - HasChor (JS) - Compiling to categories (PT) |
| 15.07. | - What you needa know about Yoneda (PT) - Separation logic for sequential programs (JS) |
| 22.07. | - Iris from the ground up (PT) |
All meetings take place at 16:00 – 18:00 in building 106, R 04 007.
Grading
TBA.
At the latest, details and requirements will be announced during the kickoff meeting.