Functional Programming: Practice and Theory

An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)

The Functional Approach to Programming

The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)

Haskell: The Craft of Functional Programming (3rd Edition) (International Computer Science Series)

Elements Of Functional Programming (International Computer Science Series)

ML for the Working Programmer, 2nd Edition

Introduction to Programming using SML (International Computer Science Series)

Pearls of Functional Algorithm Design

Elements of ML Programming, ML97 Edition (2nd Edition)

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)