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.
Détails du livre
Format
Broché
Langue
Anglais
Publié
janv. 1, 1991
Éditeur
Mit Pr
Éditions
2 éditions
ISBN-10
0262631377
ISBN-13
9780262631372