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)

Guest lecture 1 (To be announced)

Guest lecture 2 (To be announced)

Guest lecture 3 (To be announced)

Looking forward! (Monday, March 5th)