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: 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.
(13208 views)
Book cover: The Design of Functional Programs - A Calculational ApproachThe Design of Functional Programs - A Calculational Approach
by - Technische Universiteit Eindhoven
This document was started as a research to what extent functional programs can be designed in a calculational way. This should be possible because functional-program notations carry less operational connotations than their sequential counterparts do.
(10643 views)
Book cover: Certified Programming with Dependent TypesCertified Programming with Dependent Types
by
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.
(9179 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.
(5932 views)