Goodreads helps you keep track of books you want to read.
Start by marking “Definition of Standard ML, Revised Edition” as Want to Read:
Definition of Standard ML, Revised Edition
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 writt ...more
Paperback, 128 pages
Published May 21st 1997 by MIT Press (MA)
(first published February 14th 1990)
To see what your friends thought of this book, please sign up.