No, this isn't an implementation of Aaron's thesis (reagents [1]). It's an implementation of Keir Fraser's thesis :) [2]
[1]: http://www.mpi-sws.org/~turon/turon-thesis.pdf
[2]: https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-579.pdf
[1]: http://www.mpi-sws.org/~turon/turon-thesis.pdf
[2]: https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-579.pdf
Oh, and thank you for including a colophon, I really wish more books did that :)
The typesetting is quite remarkable. If you're going to procrastinate, this is sure a good way to do it.