Have Read, Would Recommend
- The Nature of Order: An Essay on the Art of Building and the Nature of the Universe —Christopher Alexander
- Practical Typography —Matthew Butterick
- microKanren: A Minimal Functional Core for Relational Programming (PDF) —Jason Hemann & Daniel P. Friedman
- Linear Types Can Change the World! —Philip Wadler
- Codata in Action —Paul Downen, Zachary Sullivan, Zena M. Ariola & Simon Peyton Jones
- Oxidizing OCaml with Modal Memory Management —Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg & Sam Lindley
- Grokking the Sequent Calculus (Functional Pearl) —David Binder, Marco Tzschentke, Marius Müller & Klaus Ostermann
- Finally Tagless, Partially Evaluated: Tagless Staged Interpreters for Simpler Typed Languages (PDF) —Jacques Carette, Oleg Kiselyov & Chung-chieh Shan
- Let Over Lambda —Doug Hoyte
- Introduction to Lambda Calculus —H. Barendregt & E. Barendsen
- On Lisp —Paul Graham
- Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I —John McCarthy
- The Hundred Year Language —Paul Graham
- Forth: The Early Years —Charles (Chuck) Moore
- Forth—A Language for Interactive Computing (PDF) —Charles (Chuck) Moore & Geoffrey Leach
- Regular Expression Matching Can Be Simple And Fast —Russ Cox
- Notes on Programming in C —Rob Pike
- Plan 9 —Rob Pike et al.
- Security in Plan 9 —Russ Cox et al.
- A Concurrent Window System (PDF) —Rob Pike
- Acme: A User Interface for Programmers —Rob Pike
- The Text Editor sam —Rob Pike
- Structural Regular Expressions —Rob Pike
Suggestions welcome by email!