الوصف
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.
تفاصيل الكتاب
تنسيق
غلاف ورقي
لغة
الإنجليزية
منشور
يناير 1, 1991
الناشر
Mit Pr
الطبعات
2 طبعات
رقم ISBN-10
0262631377
رقم ISBN-13
9780262631372