| week |
date |
topics |
slides |
sources |
exercises |
|---|
| 01 |
08.10. |
Organisation and Introduction, Strict- and Lazy-Evaluation |
pdf (x4) |
.tgz |
pdf |
| 02 |
15.10. |
Type-Checking and Type-Inference |
pdf (x4) |
.tgz |
pdf |
| 03 |
22.10. |
Type-Inference in Haskell, Kinds and Explicit Foralls |
pdf (x4) |
.tgz |
pdf |
| 04 |
29.10. |
Functor, Record Syntax, Case Study: A Simple Parser |
pdf (x4) |
.tgz |
pdf |
| 05 |
05.11. |
Monads in General, State Monads |
pdf (x4) |
.tgz |
pdf |
| 06 |
12.11. |
Evaluation of Monadic Code, RWS Monad, Example: Tseitin, Error Monads |
pdf (x4) |
.tgz |
pdf |
| 07 |
19.11. |
Parsing in General, Parsec |
pdf (x4) |
.tgz |
pdf |
| 08 |
26.11. |
Backtracking during Parsing, Applicative Functors, Monad Transformers |
pdf (x4) |
.tgz |
pdf |
| 09 |
03.12. |
System Programming, Exceptions |
pdf (x4) |
.tgz |
pdf |
| 10 |
10.12. |
Introduction to Parallelism and Concurrency |
pdf (x4) |
|
|
| 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 |
|
|
|