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: 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.
(5595 views)
Book cover: Category Theory and Functional ProgrammingCategory Theory and Functional Programming
by - University of St. Andrews
An introduction to category theory that ties into Haskell and functional programming as a source of applications. Topics: definition of categories, special objects and morphisms, functors, natural transformation, (co-)limits and special cases, etc.
(7599 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.
(904 views)
Book cover: The Conception, Evolution, and Application of Functional Programming LanguagesThe Conception, Evolution, and Application of Functional Programming Languages
by - 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.
(6696 views)