Skip to main content
PBS logo
 
 

Search - The Definition of Standard ML - Revised

The Definition of Standard ML - Revised
The Definition of Standard ML Revised
Author: Robin Milner, Mads Tofte, Robert Harper, David MacQueen
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 la...  more »
ISBN-13: 9780262631815
ISBN-10: 0262631814
Publication Date: 5/15/1997
Pages: 128
Rating:
  ?

0 stars, based on 0 rating
Publisher: The MIT Press
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: