A Gentle Introduction to ML
by Andrew Cumming
Publisher: Napier University 1998
Functional languages such as ML, Hope and Lisp allow us to develop programs which will submit logical analysis relatively easily. Using a functional language we can make assertions about programs and prove these assertions to be correct.
Home page url
Download or read it online for free here:
by Dr. Robert Richard Hoogerwoord - Technische Universiteit Eindhoven
This document was started as a research to what extent functional programs can be designed in a calculational way. This should be possible because functional-program notations carry less operational connotations than their sequential counterparts do.
by David Mertz - O'Reilly Media
Python is not a functional programming language, but it is a multi-paradigm language that makes functional programming easy to perform. This book examines the functional aspects of the language and points out which options work well and which do not.
by Axel Rauschmayer - ReasonML Hub