Paulson. ML for the working programmer.
Hudak. The Haskell School of Expression.
Bird. Introduction to Functional Programming using Haskell.
Okasaki. Purely Functional Data Structures.
Bird and de Moor. Algebra of Programming.
Gordon. Functional Programming and Input/Output.
Davey and Priestley. Introduction to Lattices and Order.
Mitchell. Foundations for Programming Languages.