This page contains materials for the forthcoming book Thinking About Programs, by Gavin Lowe.

Code

All the code from the book is available as a zip file. Alternatively, the code can be browsed on GitHub. In each case, the README file describes the organisation of the code.

Model answers

Answers to some exercises (those labelled with a dagger in the book) are available.

Answers to other exercises are available to bona fide instructors: please email the author at gavin.lowe@cs.ox.ac.uk.