Monad-based Programming (SoSe 2015)
| Dozent | Sergey Goncharov |
| Vorlesung/Übungen | Di, 12:15 – 13:45 (02.133-113); Mi, 10:15 – 11:45 (E1.12, Cauerstraße 7 – Turm B) |
| 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.)
Exam schedule
The exam will take place in Martensstr. 3, 11.159 on 30.07.
Sources
-
John C. Mitchell, Foundations for Programming Languages.
-
Glynn Winskel, The Formal Semantics of Programming Languages: An Introduction.
-
Roy L. Crole, Categories for Types.
Misc
-
Exception Monad in Haskell: exceptional.hs
-
Parsing with the state monad transformer: parsing.hs
-
Example exam questions: questions.pdf; Attention: this is not an exhaustive list and contains example questions only.