Can I read Commentary on Standard ML on EtoBox?

Commentary on Standard ML by Milner, Robin, and Mads Tofte. is a nonfiction available to read on EtoBox.

What is Commentary on Standard ML about?

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.Robin Milner is Professor of Computer Science and Director of the Laboratory for Foundations of Computer Science at the University of Edinburgh. Mads Tofte is Lecturer at the University of Nigeria.

Who reads Commentary on Standard ML?

Author

Milner, Robin, and Mads Tofte.

Publisher

The Mit Press

Published

1800

Language

EN

ISBN

9780262631372

Category

nonfiction

Subjects

Computer Science, Reference