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.
Book Details
Format
Paperback
Language
English
Published
Jan 1, 1991
Publisher
Mit Pr
Editions
2 editions
ISBN-10
0262631377
ISBN-13
9780262631372