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.

Status: Complete (though obviously I will never stop revising them or fixing typos).

Status: Lectures 1-12 are here.

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