When watching David Nolen's excellent Lambda Jam keynote on InfoQ, the references to interesting reading came a little too fast and furious for me to jot down, so I went through the slides and put this gist together.
- The Dream Machine: J.C.R. Licklider and the Revolution That Made Computing Personal - M. Mitchell Waldrop
- Purely Functional Data Structures - Chris Okasaki
- Ideal Hash Trees - Phil Bagwell
- RRB-Trees: Efficient Immutable Vectors - Phil Bagwell, Tiark Rompf
- The Reasoned Schemer - Daniel P. Friedman, William E. Byrd
- type-inference.scm
- Relational Programming in miniKanren: Techniques, Applications, and Implementations - William E. Byrd
- Efficient representations for triangular substitutions: A comparison in miniKanren - David C. Bender, Lindsey Kuper, William E. Byrd, and Daniel P. Friedman
- Equality for Prolog - William A. Kornfeld
- How to make ad-hoc polymorphism less ad-hoc - Philip Wadler and Stephen Blott
- Nominal Logic Programming - James Cheney
- Concepts, Techniques, and Models of Computer Programming - Peter Van Roy
- The Art of the Propagator - Alexey Radul and Gerald Jay Sussman
- core.logic Sudoku Example
- Efficient Multiple and Predicate Dispatching - Craig Chambers and Weimin Chen
- Compiling Pattern Matching to good Decision Trees - Luc Maranget
- Views: A way for pattern matching to cohabit with data abstraction - Phillip Wadler
- Extensible Pattern Matching in an Extensible Language - Sam Tobin-Hochstadt
- The Art of the Metaobject Protocol - Gregor Kiczales, Jim des Rivieres, and Daniel G. Bobrow
- Compilation Strategies as Objects - Anurag Mendhekar
- Communication Sequential Processes - C.A.R. Hoare
- A Multi-threaded Higher-order User Interface Toolkit - Emden R. Gansner and John H. Reppy
- Functional Reactive Animation - Conal Elliott and Paul Hudak