Algorithms
Jeff Erickson
A Brief History of Time
Hawking, Stephen
The Legend Of Koizumi 40
Unknown
A Treatise on Espruar
Diane Morrison
Foundations of Programming
Karl Seguin
Higher-Order Perl: A Guide to Program Transformation
Mark Jason Dominus
Working Effectively With Legacy Code
Michael Feathers
On Lisp: Advanced Techniques for Common Lisp
Paul Graham
Write Yourself a Scheme in 48 Hours
Wikibooks contributors
Designing for Scalability With Erlang/Otp: Implementing Robust, ...
Francesco Cesarini & Simon Thompson & Steve Vinoski
Domain-Driven Design: Tackling Complexity in the Heart of Software
Eric Evans
Haskell Programming from first principles
Chris Allen & Julie Moronuki
Real World OCaml: Functional Programming for the Masses
Yaron Minsky & Anil Madhavapeddy & Jason Hickey
OCaml Programming: Correct + Efficient + Beautiful
Michael R. Clarkson
Open Data Structures (in C++)
Pat Morin
Open Data Structures (in Java)
Open Data Structures (in pseudocode)
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
The Log: What every software engineer should know about real-time ...
Jay Kreps