Algebraic Techniques for Programming

Please note: all of this material is still being updated regularly! Check again regularly as I write new material and fix errors.

Lecture Notes

Click here to download the lecture notes.

Status: The material on (co)inductive types is pretty much as I want to lecture it, the material on lattice fixed points is in progress, and the material on path problems is still not written.

Slides

Click here to download the slides.

Status: Lectures 1-2 are here.

Exercise Sheet

Click here to download the exercise sheet.

Status: Exercises for datatypes are present, but not for lattice fixed points or for path problems.