Descripción
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.
Detalles del libro
Formato
Tapa blanda
Idioma
Inglés
Publicado
ene. 1, 1991
Editorial
Mit Pr
Ediciones
2 ediciones
ISBN-10
0262631377
ISBN-13
9780262631372