Monad-based Programming (SoSe 2019)
| Dozent | Sergey Goncharov |
| Vorlesung/Übungen | Mi, 14:15 – 15:45, E 1.12; Do, 12:15 – 13:45, E 1.12 |
| 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.)
Übungsblätter
- Assignment 1 ; due date: 16.05.
- Assignment 2 ; due date: 30.05. (corrected!)
- Assignment 3; due date: 13.06.
- Assignment 4; due date: 27.06.(corrected!)
- Assignment 5 ; due date: 11.07.
- Assignment 6; due date: 11.24.
Misc
- Eine inoffizielle Mitschrift
Sources
- Andrew M. Pitts, Lecture Notes on Denotational Semantics.
- John C. Mitchell, Foundations for Programming Languages.
- Glynn Winskel, The Formal Semantics of Programming Languages: An Introduction
- Marco Block, Adrian Neumann, Haskell Intensivkurs: ein kompakter Einstieg in die funktionale Programmierung (elektronische Ausgabe über Bibliothek FAU)
- Bryan O’Sullivan, Don Stewart, John Goerzen, Real World Haskell