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
Exploring ReasonML and Functional Programmingby Axel Rauschmayer - ReasonML Hub
This book teaches the programming language ReasonML by Facebook. It is also an introduction to functional programming. Especially people familiar with C-style languages (Java, JavaScript, C#, etc.) will profit from ReasonML's familiar syntax.
(6644 views)
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.
(9934 views)
Learn Functional Programmingby Goran Jovic - learn-functional-programming.com
The purpose of this book is to explain the main concepts in functional programming as simply as possible. The focus is not on implementation details of a specific language, compiler or platform, but on the concepts themselves.
(596 views)
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.
(12167 views)