ورود به حساب کاربری

خرید کتاب Commentary on Standard ML

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
Commentary on Standard ML

Commentary on Standard ML

Commentary on Standard ML
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (1)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Commentary on Standard ML
از خودتان درباره کتاب توضیح کوتاهی بنویسید
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 volumes provide a complete understanding of the most prominent of a new group of functional programming languages that includes Haskell and Scheme.In making the "Definition "easier to understand, the authors not only explain what ML is, they explain why it is. They present some of the rigorous analysis that supports the "Definition "including a selection of theorems that express important properties of the language. The "Commentary" is also a working document that shows the way in which the specialized theory of ML can contribute to broader research on language design and semantics.Contents: Preface. Executing a Simple Program. Dynamic Semantics for the Core. Dynamic Semantics for the Modules. Static Semantics for the Core. Type Declarations and Principality. Static Semantics for the Modules. Signature Matching. Elaboration of Functors. Admissible Semantic Objects and Proofs. Elaboration of Signature Expressions. Principal Signatures. Appendixes: Proof of Principality. Identifier Status. Solutions to Exercises. Mistakes and Ambiguities.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

تاریخ انتشار

1990

نویسنده

Mads Tofte

ناشر

MIT Press (MA)

شابک

9780262132718
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

کتاب های مرتبط

Commentary on Standard ML

Commentary on Standard ML

Mads Tofte
20
هزار تومان
Definition of Standard ML, Revised Edition

Definition of Standard ML, Revised Edition

David MacQueen
20
هزار تومان
The Standard ML Basis Library

The Standard ML Basis Library

John H. Reppy
20
هزار تومان
The Standard ML basis library

The Standard ML basis library

Emden R Gan...
20
هزار تومان
Commentary on Standard ML

Commentary on Standard ML

Mads Tofte
20
هزار تومان
The Little MLer

The Little MLer

Daniel P. F...
20
هزار تومان
Applicative High Order Programming

Applicative High Order Programming

S. Sokoowski
20
هزار تومان
The Functional Approach To Programming

The Functional Approach To Programming

Michel Mauny
20
هزار تومان
The Functional Approach to Programming

The Functional Approach to Programming

K. Callaway
20
هزار تومان
The Standard ML Basis Library

The Standard ML Basis Library

John H. Reppy
20
هزار تومان
Concurrent Programming in ML

Concurrent Programming in ML

John H. Reppy
20
هزار تومان
The Functional Approach To Programming

The Functional Approach To Programming

Michel Mauny
20
هزار تومان
Elements of ML Programming, Ml97 Edition

Elements of ML Programming, Ml97 Edition

Jeffrey D. ...
20
هزار تومان
Meta-Programming and Model-Driven Meta-Program Development

Meta-Programming and Model-Driven Meta-Program Development

Robertas Da...
20
هزار تومان
Elementary Standard ML

Elementary Standard ML

Greg Michae...
20
هزار تومان
The Standard ML Basis Library

The Standard ML Basis Library

John H. Reppy
20
هزار تومان
Meta-Programming and Model-Driven Meta-Program Development

Meta-Programming and Model-Driven Meta-Program Development

Robertas Da...
20
هزار تومان
Modern Compiler Implementation in ML

Modern Compiler Implementation in ML

Andrew W. A...
20
هزار تومان
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|
افزایش درآمد افزایش درآمد بهترین های کودک و نوجوان بهترین های کودک و نوجوان میخوای آموزش ببینی میخوای آموزش ببینی
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن