• Formal methods
  • The MetaPRL logical framework
• Distributed systems and algorithms
  • The Mojave system
• Tools
  • The OMake build system
• Programming languages and compilers

OCaml textbook. Draft (Jan 10, 2008), do not redistribute. The final textbook is expected to be published by Cambridge University Press. Instructors: contact me for answers to exercises.