Welcome to E-Books Directory
This is a freely downloadable e-book.

A Gentle Introduction to ML
by Andrew Cumming

Publisher: Napier University 1998

Description:
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 here:

Read online

 (online html)