Skip to content
Paperback The Definition of Standard ML, revised edition Book

ISBN: 0262631814

ISBN13: 9780262631815

The Definition of Standard ML, revised edition

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 to...

Selected

Format: Paperback

Condition: New

$35.54

50 Available

Customer Reviews

0 rating
Copyright © 2022 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell or Share My Personal Information | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured