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!