Scan barcode
160 pages • first pub 1990 (editions)
ISBN/UID: 9780262132718
Format: Hardcover
Language: English
Publisher: MIT Press (MA)
Publication date: 30 November 1990
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. Together, the two volum...
Community Reviews
Content Warnings
160 pages • first pub 1990 (editions)
ISBN/UID: 9780262132718
Format: Hardcover
Language: English
Publisher: MIT Press (MA)
Publication date: 30 November 1990
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. Together, the two volum...
Community Reviews
Content Warnings