Functional Programming Application and Implementation

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