07 August 2013 P1.0 (Printing)

First printing.

26 June 2013 B7.0

This is the final beta. Production is complete. Now it’s on to layout and the printer.

28 May 2013 B6.0

Beta 6 has been copy edited.

01 April 2013 B5.0

  • Beta 5 includes all of the chapters in the final book, adding Chapter 26, “Types, Types, Types! Modeling Lambda Calculus,” and Chapter 27, “The Halting Problem.”
  • Corrections to all outstanding errata as of March 27th.
  • Stylistic corrections to chapters 1 through 4.

14 March 2013 B4.0

Beta 4 includes two new chapters on lambda calculus: Chapter 24, “Calculus: No not that calculus, lambda calculus!” and Chapter 25, “Numbers, Booleans, and Recursion, Oh my!”

Many revisions to earlier chapters, including corrections to all outstanding errata as of March 13.

19 February 2013 B3.0

  • Beta 3 includes two new chapters: Chapter 23, “The Turing Machine” and Chapter 24, “Pathology and the Heart of Computing.”
  • We’ve also fixed all errata reported by readers as of February 15th.

01 February 2013 B2.0

  • We’ve added a new chapter, Chapter 21, “Finite State Machines.”
  • At the request of readers, we have added chapter numbers.
  • We’ve fixed all errata reported by readers as of January 29.

23 January 2013 B1.0

Initial beta release.

×