The Legend Of Koizumi 16
Unknown
The Non-Designer's Design Book
Robin Williams
Once More Unto the Breach
LadyKarai
Dark Side of the Sun
Pratchett, Terry
On Lisp: Advanced Techniques for Common Lisp
Paul Graham
Implementation of Functional Programming Language (Prentice ...
Simon L.peyton Jones
Password Authentication with Insecure Communication
Leslie Lamport
E.W.Dijkstra Archive: The Humble Programmer (EWD 340)
Working Effectively with Legacy Code
Michael C. Feathers
Distributed systems for fun and profit
Mikito Takada
Functional Programming with Bananas, Lenses, Envelopes and Barbed ...
Erik Meijer, Maarten Fokkinga, Ross Paterson
Programming Erlang, Second Edition
Joe Armstrong
Cover
R. Martin (Pearson, 2012) [eCV] WW
Learnable Programming
ILC2014 summary
Stuff Goes Bad: Erlang in Anger
Frank Hebert
Category Theory for Computing Science
Michael Barr, Charles Wells
LaTeXRefCard.v2.0
The Not So Short Introduction to LaTeX
TeX: The Program
Donald Knuth
Monads for functional programming
Philip Wadler
Logic, Programming and Prolog (2ed)
Ulf Nilsson, Jan Maluszynski
An introduction to logic programming through Prolog
Michael Spivey
Write Yourself a Scheme in 48 Hours
Wikibooks contributors
Medical Devices: The Therac-25
Nancy Leveson
An investigation of the Therac-25 accidents - Computer
IEEE
Can Programming be Liberated from the von Neumann Style? A Functional ...
John Backus
Functional Geometry
Peter Henderson
Why Functional Programming Matters
John Hughes
Elm: Concurrent FRP for Functional GUIs
Evan Czaplicki
Elm in Action MEAP V04
Richard Feldman
Elm in Action MEAP V05
ProgrammingAsIfDo[..]
Introduction to the Theory of Computation, Second Edition
Michael Sipser
It's Elementary, Dear Watson: Applying Logic Programming To ...
Dr. Alva L. Couch & Michael Gilfix
A Language for Specifying Type Contracts in Erlang and its Interaction ...
What is Gradual Typing
Jeremy Siek