| week |
date |
topics |
slides |
sources |
|---|
| 01 |
08.10. |
Organisation and Introduction, Strict- and Lazy-Evaluation |
|
|
| 02 |
15.10. |
Type-Checking and Type-Inference |
|
|
| 03 |
22.10. |
Type-Inference in Haskell, Kinds and Explicit Foralls |
|
|
| 04 |
29.10. |
Functor, Record Syntax, Case Study: A Simple Parser |
|
|
| 05 |
05.11. |
Monads in General, State Monads |
|
|
| 06 |
12.11. |
Evaluation of Monadic Code, Example: Tseitin, Error Monads |
|
|
| 07 |
19.11. |
Parsing in General, Parsec |
|
|
| 08 |
26.11. |
Backtracking during Parsing, Applicative Functors, Monad Transformers |
|
|
| 09 |
03.12. |
System Programming, Exceptions |
|
|
| 10 |
10.12. |
Introduction to Parallelism and Concurrency |
|
|
| 11 |
07.01. |
Concurrent Channels, Asynchronous Actions, Cancellations and Timeouts |
|
|
| 12 |
14.01. |
Profiling, Efficient Data Structures |
|
|
| 13 |
21.01. |
Q & A |
|
|
| 14 |
28.01. |
exam |
|
|