OCaml Programming: Correct + Efficient + Beautiful
Michael R. Clarkson
Time Enough for Love
Robert A. Heinlein
A Falsification View of Success Typing
Robert Jakob & Peter Thiemann
Tackling the Awkward Squad
Simon Peyton Jones
The Non-Designer's Design Book
Robin Williams