Programming in Standard ML Standard ML Functional programming

The Dao of Functional Programming Functional programming

Learn you An Agda And Achieve Enlightenment Agda Functional programming

Functional Programming in Lean Functional programming Lean programming language Theorem prover

Programming Language Foundations in Agda Agda Functional programming

COMMON LISP: A Gentle Introduction to Symbolic Computation Common LISP Lisp Functional programming

The Common Lisp Cookbook Common LISP Lisp Functional programming