Introduction to Dependently Typed Programming (SoSe 2022)
| Dozent | Sergey Goncharov |
| Vorlesung/Übungen | Achtung, geändert! Mo, 14:15 – 15:45, 02.134-113; Mi, 14:15 – 15:45, 00.131-128 |
| Zielgruppe | WF M-BA ab 3 (ECTS-Credits: 7,5) WPF INF-BA-V-THI ab 4 (ECTS-Credits: 7,5) WPF INF-MA ab 1 (ECTS-Credits: 7,5) WF M-MA ab 1 (ECTS-Credits: 7,5) |
- Geeignet als WPF für Nebenfach Informatik in verschiedenen Studiengängen, insbesondere Mathematik.
- Letzte Ausgabe: Introduction to Dependently Typed Programming (WiSe 2019/20)
- Erste Vorlesung: 25.04
Übungsblätter
Misc Sources
Quellenverzeichnis
- Philip Wadler, Wen Kokke, Jeremy Siek, Programming Language Foundations in Agda.
- Aaron Stump, Verified Functional Programming in Agda
- Agda 2.6 Documentation
- Recent version of The Iowa Agda Library (IAL): https://github.com/cedille/ial