Beskrivning
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.
Bokdetaljer
Format
Pocketbok
Språk
Engelska
Publicerad
jan 1, 1991
Förlag
Mit Pr
Upplagor
2 utgåvor
ISBN-10
0262631377
ISBN-13
9780262631372