← Back to books

λ

Book details

Programming in Standard ML

by Robert Harper

Categories Standard ML , Functional programming

Read this book

Keep exploring

Other books like this

COMMON LISP: A Gentle Introduction to Symbolic Computation David S. Touretzky
Control Structures in Programming Languages Xavier Leroy
Functional Data Structures and Algorithms: A Proof Assistant Approach Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan
Functional Programming in Lean David Thrane Christiansen

A hand-maintained list of free technical books.

Books Categories

We can't find the internet

Attempting to reconnect

Something went wrong!

Attempting to reconnect