Bibliography
Books and resources that shaped this curriculum
Bitwit's curriculum draws inspiration from many excellent resources. If you enjoy learning here, you'll likely enjoy these books too.
Lambda Calculus & Functional Programming
The Little Schemer
A delightful introduction to recursive thinking through Socratic dialogue. The unusual Q&A format builds deep intuition for recursion and list processing. Highly recommended as a companion to the Lambda Calculus and Lisp subjects.
The Seasoned Schemer
The sequel to The Little Schemer, continuing into more advanced topics like continuations, collectors, and stateful programming.
Structure and Interpretation of Computer Programs
The legendary MIT textbook that teaches programming as a way of thinking. Covers abstraction, data structures, interpreters, and more—all in Scheme. Available free online.
Logic & Foundations
The Reasoned Schemer
Extends the Schemer style to logic programming and relational programming. Introduces miniKanren, a minimal logic programming language.
Gödel, Escher, Bach: An Eternal Golden Braid
A mind-bending exploration of self-reference, formal systems, and the nature of intelligence. Weaves together mathematics, art, and music into a meditation on consciousness and meaning.
Type Theory
The Little Typer
The Schemer style applied to dependent types. A gentle introduction to type theory and proof assistants through the familiar Q&A format.
Types and Programming Languages
The definitive textbook on type systems. Rigorous but accessible, covering everything from simple types to System F and beyond.
A Note on Links
Book links go to Bookshop.org, which supports independent bookstores. These are not affiliate links—we don't receive any commission. We just think it's a better place to buy books.