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.
Download or read it online for free here:
Read online
(online html)
Similar books
The Conception, Evolution, and Application of Functional Programming Languagesby Paul Hudak - Yale University
The foundations of functional programming languages are examined from both historical and technical perspectives. Their evolution is traced through several periods. The attention is paid to the main features that characterize functional languages.
(13427 views)
Purely Functional Data Structuresby Chris Okasaki - 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.
(12653 views)
Category Theory and Functional Programmingby Mikael Vejdemo-Johansson - University of St. Andrews
An introduction to category theory that ties into Haskell and functional programming as a source of applications. Topics: definition of categories, special objects and morphisms, functors, natural transformation, (co-)limits and special cases, etc.
(15877 views)
Concurrent Programming in Erlangby Robert Virding, Claes Wikstrom, Mike Williams - 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.
(22267 views)