Logo

A Gentle Introduction to ML

A Gentle Introduction to ML
by

Publisher: Napier University

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 for free here:
Read online
(online html)

Similar books

Book cover: Concurrent Programming in ErlangConcurrent Programming in Erlang
by - Prentice Hall PTR
A tutorial of Erlang, a concurrent, functional programming language. The emphasis of this book is on learning through example and a number of well known problems in designing and programming concurrent fault-tolerant real-time systems.
(15936 views)
Book cover: Functional Programming and Parallel Graph RewritingFunctional Programming and Parallel Graph Rewriting
by - Addison-Wesley
An introduction to the techniques of functional programming, the associated computational models and the implementation of functional programming languages on both sequential and parallel machines. All the chapters include a summary and exercises.
(5996 views)
Book cover: Certified Programming with Dependent TypesCertified Programming with Dependent Types
by
The purpose of this book is to convince people who write software that the technology of program verification is mature enough today that it makes sense to use it in a support role in many kinds of research projects in computer science.
(5663 views)
Book cover: Purely Functional Data StructuresPurely Functional Data Structures
by - Carnegie Mellon University
This book describes data structures from the point of view of functional languages. The author includes both classical data structures, such as red-black trees, and a host of new data structures developed exclusively for functional languages.
(5662 views)