An educational journey through functional programming
The main textbook covering logic, algebra, computation, lambda calculus, constraints, monads, and more.
Original lecture slides converted to book format. For reference only.