Commentary on Standard ML




Author: Mads Tofte, Robin Milner
Type: eBook
Date Released: 1991
Format: pdf
Language: English
Page Count: 160
Isbn10 Code: 0262631377
Isbn13 Code: 9780262631372


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. --This text refers to an out of print or unavailable edition of this title. About the Author Robin Milner was Professor Emeritus of Computer Science at the University of Cambridge, UK, and Professor at the Informatics Forum in the University of Edinburgh.Mads Tofte is Vice Chancellor, IT University of Copenhagen. --This text refers to an out of print or unavailable edition of this title.

Download Commentary on Standard ML

:Other related sites


Killer of go: technique and preventative measures , Foundations of Computational Intelligence Volume 3.. Global Optimization , Conceptual Integrated Science .


:Tags

Ebook Commentary on Standard ML pdf by Mads Tofte, Robin Milner download, download online book Commentary on Standard ML epub. Download book Commentary on Standard ML pdf, download almost free pdf Commentary on Standard ML, download ebook Commentary on Standard ML djvu, download book Commentary on Standard ML chm. Ebook Commentary on Standard ML djvu by Mads Tofte, Robin Milner download, download almost free Commentary on Standard ML, ebook Commentary on Standard ML chm by Mads Tofte, Robin Milner download, Commentary on Standard ML torrent by Mads Tofte, Robin Milner download ebook, Commentary on Standard ML audio mp3 by Mads Tofte, Robin Milner download.