The Definition of Standard ML - Revised by Robin Milner

by Robin Milner

Standard ML is general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML.

Genres: Programming, Computer Science, Nonfiction

Paperback

First published February 14, 1990

Reviews

[Nick Black · Rating 4 out of 5]

Exactly what it advertises, which is sometimes exactly what one needs.

[Michael · Rating 4 out of 5]

if you really like ml...