Books in Functional programming

11 books

Functional Data Structures and Algorithms: A Proof Assistant Approach

by Tobias Nipkow , Jasmin Blanchette , Manuel Eberl , Alejandro Gómez-Londoño , Peter Lammich , Christian Sternagel , Simon Wimmer , Bohua Zhan

Functional programming Data structures Algorithms

Read
How to Think Like a (Functional) Programmer

by Allen B Downey , Nicholas Monje

Functional programming OCaml

Read
Control Structures in Programming Languages

by Xavier Leroy

Programming languages Functional programming

Read
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