The Definition of Standard ML, revised edition

by Mads Tofte, Robert Harper, David MacQueen, et al.

Book Overview

Standard ML is a 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. One purpose of a language definition is...

• Format: Paperback
• Language: English
• ISBN: 0262631814
• ISBN13: 9780262631815
• Release Date: May 1997
• Publisher: MIT Press
• Length: 132 Pages
• Weight: 0.55 lbs.
• Dimensions: 0.4" x 7.0" x 9.0"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher