Real World OCaml: Functional Programming for the Masses by Anil Madhavapeddy

Lambda-Calculus, Combinators and Functional Programming Hardcover

Advanced Functional Programming with Elixir: Model Behavior, Manage Complexity,

An Introduction to Functional Programming Through Lambda Calculus by Michaelson

Functional Programming in Scala

Functional Programming in Scala by Michael Pilquist

Type Theory and Functional Programming by Simon Thompson (1991, Hardcover)

An Introduction to Functional Programming Through Lambda Calculus (Dover Boo...