Advanced Functional Programming

Some material connected to the Chalmers and Univ. of Gothenburg course.

http://www.cse.chalmers.se/edu/course/afp/

Lecture plan:

• 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)