Books in Functional programming

8 books

Type Theory & Functional Programming

by Simon Thompson

Category theory Type theory Functional programming

Read
Programming in Standard ML

by Robert Harper

Standard ML Functional programming

Read
The Dao of Functional Programming

by Bartosz Milewski

Functional programming

Read
Learn you An Agda And Achieve Enlightenment

by Liam O'Connor-Davis

Agda Functional programming

Read
Functional Programming in Lean

by David Thrane Christiansen

Functional programming Lean programming language Theorem prover

Read
Programming Language Foundations in Agda

by Philip Wadler

Agda Functional programming

Read
COMMON LISP: A Gentle Introduction to Symbolic Computation

by David S. Touretzky

Common LISP Lisp Functional programming

Read
The Common Lisp Cookbook

Common LISP Lisp Functional programming

Read