Commentary on Standard Ml
ISBN-13:
9780262132718
ISBN-10:
0262132710
Author:
Robin Milner, Mads Tofte
Publication date:
1656
Publisher:
Mit Pr
Format:
Hardcover
180 pages
FREE US shipping
Book details
ISBN-13:
9780262132718
ISBN-10:
0262132710
Author:
Robin Milner, Mads Tofte
Publication date:
1656
Publisher:
Mit Pr
Format:
Hardcover
180 pages
Summary
Commentary on Standard Ml (ISBN-13: 9780262132718 and ISBN-10: 0262132710), written by authors
Robin Milner, Mads Tofte, was published by Mit Pr in 1656.
With an overall rating of 4.4 stars, it's a notable title among other
books. You can easily purchase or rent Commentary on Standard Ml (Hardcover) from BooksRun,
along with many other new and used
books
and textbooks.
And, if you're looking to sell your copy, our current buyback offer is $0.32.
Description
The full mathematical description of the functional programming language ML was given in Milner, Tofte, and Harper's Definition of Standard ML. This companion volume explains in depth the meaning, or semantic theory, of ML. Together, the two volumes provide a complete understanding of the most prominent of a new group of functional programming languages that includes Haskell and Scheme. In making the Definition easier to understand, the authors not only explain what ML is, they explain why it is. They present some of the rigorous analysis that supports the Definition including a selection of theorems that express important properties of the language. The Commentary is also a working document that shows the way in which the specialized theory of ML can contribute to broader research on language design and semantics. Contents: Preface. Executing a Simple Program. Dynamic Semantics for the Core. Dynamic Semantics for the Modules. Static Semantics for the Core. Type Declarations and Principality. Static Semantics for the Modules. Signature Matching. Elaboration of Functors. Admissible Semantic Objects and Proofs. Elaboration of Signature Expressions. Principal Signatures. Appendixes: Proof of Principality. Identifier Status. Solutions to Exercises. Mistakes and Ambiguities.
We would LOVE it if you could help us and other readers by reviewing the book
Book review
Congratulations! We have received your book review.
{user}
{createdAt}
by {truncated_author}