| week |
date |
topics |
slides |
sources |
exercises |
|---|
| 01 |
07.10. |
Organisation and Introduction, Strict- and Lazy-Evaluation |
|
|
|
| 02 |
14.10. |
Type-Checking and Type-Inference |
|
|
|
| 03 |
21.10. |
Type-Inference in Haskell, Kinds and Explicit Foralls |
|
|
|
| 04 |
28.10. |
Functor, Record Syntax, Case Study: A Simple Parser |
|
|
|
| 05 |
04.11. |
Monads in General, State Monads |
|
|
|
| 06 |
11.11. |
Evaluation of Monadic Code, RWS Monad, Example: Tseitin, Error Monads |
|
|
|
| 07 |
18.11. |
Parsing in General, Parsec |
|
|
|
| 08 |
25.11. |
Backtracking during Parsing, Applicative Functors, Monad Transformers |
|
|
|
| 09 |
02.12. |
System Programming, Exceptions |
|
|
|
| 10 |
09.12. |
Introduction to Parallelism and Concurrency |
|
|
|
| 11 |
16.12. |
Concurrent Channels, Asynchronous Actions, Cancellations and Timeouts |
|
|
|
| 12 |
13.01. |
Profiling, Efficient Data Structures |
|
|
|
| 13 |
20.01. |
Q & A |
|
|
|
| 14 |
27.01. |
exam |
|
|
|