Functional programming

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

Topics: Functional programming , Data structures , Algorithms

How to Think Like a (Functional) Programmer

by Allen B Downey , Nicholas Monje

Topics: Functional programming , OCaml

Control Structures in Programming Languages

by Xavier Leroy

Topics: Programming languages , Functional programming

Type Theory & Functional Programming

by Simon Thompson

Topics: Category theory , Type theory , Functional programming

Programming in Standard ML

by Robert Harper

Topics: Standard ML , Functional programming

The Dao of Functional Programming

by Bartosz Milewski

Topics: Functional programming

Learn you An Agda And Achieve Enlightenment

by Liam O'Connor-Davis

Topics: Agda , Functional programming

Functional Programming in Lean

by David Thrane Christiansen

Topics: Functional programming , Lean programming language , Theorem prover

Programming Language Foundations in Agda

by Philip Wadler

Topics: Agda , Functional programming

COMMON LISP: A Gentle Introduction to Symbolic Computation

by David S. Touretzky

Topics: Common LISP , Lisp , Functional programming

The Common Lisp Cookbook

Topics: Common LISP , Lisp , Functional programming