The Functional Approach to Programming
Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming
Types and Programming Languages (MIT Press)
An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
Mac OS X Internals: A Systems Approach
Let Over Lambda
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Compiler Design in C (Prentice-Hall software series)
The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)
Thinking Forth