Descrizione
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.
Dettagli del libro
Formato
Brossura
Lingua
Inglese
Pubblicato
gen 1, 1991
Editore
Mit Pr
Edizioni
2 edizioni
ISBN-10
0262631377
ISBN-13
9780262631372