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
Programming in Standard MLby Robert Harper - Carnegie Mellon University
Introduction to programming with the Standard ML - a formally defined programming language. The text covers the core language, declarations, functions, products and records, recursive functions, type inference and polymorphism, lists, and more.
(11785 views)
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.
(11381 views)
Functional Programming in Pythonby 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.
(10011 views)
Real World Functional Programmingby Tomas Petricek, Jon Skeet, Yin Zhu - Manning Publications
Real World Functional Programming is a unique tutorial that explores the functional programming model through the F# and C# languages. The clearly presented ideas and examples teach readers how functional programming differs from other approaches.
(9383 views)