Commentary on Standard ML

by Robin Milner and Mads Tofte

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

• Format: Paperback
• Language: English
• ISBN: 0262631377
• ISBN13: 9780262631372
• Release Date: January 1991
• Publisher: MIT Press (MA)
• Length: 160 Pages
• Weight: 0.66 lbs.