Mike's Bits and Pieces

Here is a random collection of things I wanted to make accessible on the Web:

Course material

• See my teaching wiki
• Suggestions for undergraduate and M.Sc. projects.

Software

• The Oxford Oberon-2 compiler
• The fuzz type-checker for Z

Books and Papers

• A paper entitled "Algebras for Combinatorial Search" presented at the Workshop on Mathematically Structured Functional Programming, Kuressaare, Estonia, July 2006, and now scheduled to appear in Journal of Functional Programming.
• A note about 'Strachey's functional pearl', a program published by Christopher Strachey in 1966.
• A paper entitled "Fast, accurate call-graph profiling" (PDF). Accepted for publication in Software -- Practice and Experience.
• An article entitled "Combinators for Breadth-First Search" (PostScript). Accepted for publication in Journal of Functional Programming.
• Slides from a seminar talk on the same subject.
• Full text of the Z Reference Manual.
• My book An Introduction to Logic Programming through Prolog.
• Some joint papers with Silvija Seres.

Early drafts (Oxford and Brookes only)

• A note about deriving the SECD machine from a definitional intepreter.

Cryptography

• GPG public key

Mike Spivey
mike@comlab.ox.ac.uk