1. Introduction to the course.

2. Domain Specific Embedded Languages (EDSL).

3. Monads

4. Functors, Applicative Functors, and Monads

5. Parser derivation

6. Monad transformers

7. Monad transformers II

8. Information-flow Control in Haskell

9. Program verification

10. Type-based modeling

11. Type-based modeling II & looking back!

Special lectures

Looking forward! (February 9th)

Guest lecture: Agda (Andreas Abel) (February 23th)

Guest lecture: Koen Claessen ,Functional Reactive Programming, (March 2nd)

Guest lecture: Simon Marlow (March 9th)

Looking forward! (March 6rd)