Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)

Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)

Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)

Anna Karenina (with an Introduction by Nathan Haskell Dole)

The Haskell Dictionary of Computer Programming Language (The Aether Verge Collective)