devlibrary
Categories
/ Functional programming
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