~greg/books Introduction to Functional Programming through Lambda Calculus ~greg/stories The Answer Machine Greg Michaelson ~greg/Teaching Computing Working document ~greg/icce An introduction to Ken Tocher’s Report on the work of the Computer Group directory ~greg |