The Definition of Standard ML, revised edition

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

No Customer Reviews

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

Related Subjects

Computers Computers & Technology Education & Reference Languages & Tools Mathematics Programming Science & Math Software

Customer Reviews

0 rating

Write a review

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks^® and the ThriftBooks^® logo are registered trademarks of Thrift Books Global, LLC

The Definition of Standard ML, revised edition

Recommended

Customer Reviews

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us