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: 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.
(3654 views)
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.
(14367 views)
Book cover: Real World Functional ProgrammingReal World Functional Programming
by - 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.
(4327 views)
Book cover: Exploring ReasonML and Functional ProgrammingExploring ReasonML and Functional Programming
by - 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.
(837 views)