CEFP materials
Lecture notes
Exercises
Slides: A Programming Tutor for Haskell
Slides: A strategy language
Slides: A strategy recogniser
Slides: Projects and technical details
Software