Advanced topics in types and programming languages / Benjamin C. Pierce, editor.
نوع المادة : نصالناشر:Cambridge, Mass. : MIT Press, [2005]تاريخ حقوق النشر: ©2005وصف:xiii, 574 pages : illustrations ; 24 cmنوع المحتوى:- text
- unmediated
- volume
- 0262162288
- 9780262162289
- QA76.7 .A36 2005
نوع المادة | المكتبة الحالية | رقم الطلب | رقم النسخة | حالة | تاريخ الإستحقاق | الباركود | |
---|---|---|---|---|---|---|---|
كتاب | UAE Federation Library | مكتبة اتحاد الإمارات General Collection | المجموعات العامة | QA76.7 .A36 2005 (إستعراض الرف(يفتح أدناه)) | C.1 | Library Use Only | داخل المكتبة فقط | 30010011128345 | ||
كتاب | UAE Federation Library | مكتبة اتحاد الإمارات General Collection | المجموعات العامة | QA76.7 .A36 2005 (إستعراض الرف(يفتح أدناه)) | C.2 | المتاح | 30010011128335 |
Includes bibliographical references (pages 535-565) and index.
Substructural type systems / David Walker -- Dependent types / David Aspinall and Martin Hofmann -- Effect types and region-based memory management / Fritz Henglein, Henning Makholm, and Henning Niss -- Typed assembly language / Greg Morrisett -- Proof-carrying code / George Necula -- Logical relations and a case study in equivalence checking / Karl Crary -- Typed operational reasoning / Andrew Pitts -- Design considerations for ML-style module systems / Robert Harper and Benjamin C. Pierce -- Type definitions / Christopher A. Stone -- The essence of ML type inference / François Pottier and Didier Rémy.
"The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference." "Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions."--Jacket.