Implementation of Functional Programming Language (Prentice ...
Simon L.peyton Jones
Hacker Monthly #42
Netizens Media
Hacker Monthly (42)
Ansible for DevOps
Jeff Geerling
Grumbles from the grave (Non Fiction)
Robert A. Heinlein
What is Gradual Typing
Jeremy Siek
A Language for Specifying Type Contracts in Erlang and its Interaction ...
Unknown
A Falsification View of Success Typing
Robert Jakob & Peter Thiemann
It's Elementary, Dear Watson: Applying Logic Programming To ...
Dr. Alva L. Couch & Michael Gilfix
Property-Based Testing with PropEr, Erlang, and Elixir
Fred Hebert
Programming Elm
Jeremy Fairbank
Domain Modeling Made Functional
Scott Wlaschin
Password Authentication with Insecure Communication
Leslie Lamport
Seven Databases in Seven Weeks, Second Edition
Luc Perkins & Eric Redmond & Jim R. Wilson
UNIX Systems Programming: Communication, Concurrency and Threads, ...
Kay Robbins & Steve Robbins
Pragmatic Programmer, The: From Journeyman to Master (Jonathan ...
Andrew Hunt & David Thomas
Introduction to the Theory of Computation, Second Edition
Michael Sipser
Haskell Programming from first principles
Chris Allen & Julie Moronuki
F# for Fun and Profit
swlaschin
ProgrammingAsIfDo[..]
Elm in Action MEAP V05
Richard Feldman
Elm in Action MEAP V04
Why Elm
Matthew Griffith
Elm in Action MEAP V03
Elm in Action MEAP V02
Elm in Action MEAP V01
Professor Frisby's Mostly Adequate Guide to Functional Programming
drboolean
Kafka: The Definitive Guide: Real-Time Data and Stream Processing ...
Neha Narkhede
Network Distributed Computing: Fitscapes and Fallacies: Fitscapes ...
Max K. Goff
Python Crash Course
Eric Matthes
Practical Malware Analysis
Michael Sikorski & Andrew Honig
Hacker Bundle 2016 Sampler
Hacking the Xbox
Andrew "bunnie" Huang
Automate the Boring Stuff with Python: Practical Programming ...
Al Sweigart
Elm: Concurrent FRP for Functional GUIs
Evan Czaplicki
Advanced Linux Programming
Codesourcery Llc & Mark L. Mitchell & Alex Samuel & Jeffrey Oldham
Why Functional Programming Matters
John Hughes
Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software ...
Paul Hudak & Mark Jones
Functional Geometry
Peter Henderson
Can Programming be Liberated from the von Neumann Style? A Functional ...
John Backus
Designing for Scalability With Erlang/OTP: Implement Robust, ...
Francesco Cesarini & Steve Vinoski
Little Riak Core Book 1.0 documentation
An investigation of the Therac-25 accidents - Computer
IEEE
Medical Devices: The Therac-25
Nancy Leveson
Software Architecture Patterns
Mark Richards
Write Yourself a Scheme in 48 Hours
Wikibooks contributors
The Architecture of Open Source Applications: Elegance, Evolution, ...
Amy Brown & Greg Wilson
Seven More Languages in Seven Weeks
Bruce A. Tate, Fred Daoud, Ian Dees, Jack Moffitt
Seven Concurrency Models in Seven Weeks
Paul Butcher
Prolog Programming in Depth
Michael A. Covington
An introduction to logic programming through Prolog
Michael Spivey
Logic, Programming and Prolog (2ed)
Ulf Nilsson, Jan Maluszynski
Prolog
Wikipedia
Monads for functional programming
Philip Wadler
Seven Languages in Seven Weeks
Bruce A. Tate
Immutability Changes Everything
Pat Helland
TeX: The Program
Donald Knuth
LFE Reference Guide
LFE Maintainers
The Not So Short Introduction to LaTeX
LaTeXRefCard.v2.0
Category Theory for Computing Science
Michael Barr, Charles Wells
Structure and Interpretation of Computer Programs, Second Edition
Harold Abelson, Gerald Jay Sussman, Julie Sussman
Stuff Goes Bad: Erlang in Anger
Frank Hebert
ILC2014 summary