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
Certified Programming with Dependent Typesby Adam Chlipala
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.
(11655 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.
(12373 views)
Functional Programming and Parallel Graph Rewritingby Rinus Plasmeijer, Marko van Eekelen - 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.
(10900 views)
Professor Frisby's Mostly Adequate Guide to Functional Programming- GitBook
This is a book on the functional paradigm in general. We will use the world's most popular functional programming language: JavaScript. JavaScript will be our means of learning a paradigm, where you apply it is up to you.
(9486 views)