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! (Thursday, February 15th)

Looking forward! (Monday, February 26th)

Guest lecture 1 by Dominic Orchard (Thursday, March 1st)

Guest lecture 2 by Andreas Abel (Monday, March 5th)