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.
language: English
title: Commentary on Standard Ml
titlecomplete: Commentary on Standard Ml
ratings_count: 3
publisher: Mit Pr