Some material connected to the Chalmers and Univ. of Gothenburg course.
http://www.cse.chalmers.se/edu/course/afp/
- L1: Course intro, Haskell recap, first DSL example
- L2: EDSLs and the Shapes example
- L3: Monads: how to build your own monad from scratch
- L4: Parsing: a case-study in program transformation
- L5: Monad Transformers, part 1: how to build your monad from transformers
- L6: Monad Transformers, part 2: more transformers
- L7: Specification, verification and testing (QuickCheck)
- L8: Exercise session based on exams from earlier years
- L9: EDSL guest lecture by Emil Axelsson
- L10: More QuickCheck: Generating, shrinking, etc.
- L11: Prel. Type based modelling in Haskell, part 1
- L12: Agda tutorial
- L13: Guest lecture: Cezar Ionescu
- L14: Prel. Type based modelling in Haskell, part 2
- L15: Exercise session based on exams from earlier years
- L16: (Perhaps repetition)