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

Home >> Computers & Internet >> Computer Science >> Programming Language Theory >> Functional Programming

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)