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: Programming in Standard MLProgramming in Standard ML
by - 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.
(5850 views)
Book cover: Functional Programming and Parallel Graph RewritingFunctional Programming and Parallel Graph Rewriting
by - 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.
(4114 views)
Book cover: Functional Programming in QiFunctional Programming in Qi
by - Upfront Publishing
The book is both a comprehensive introduction to Qi and to functional programming. It covers foundational material and is suitable for an undergraduate introduction to functional programming. It also explores the theoretical foundations of Qi.
(4406 views)
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.
(2654 views)