Advanced topics in types and programming languages / Benjamin C. Pierce, editor.
نوع المادة :![نص](/opac-tmpl/lib/famfamfam/BK.png)
- 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 |
Browsing UAE Federation Library | مكتبة اتحاد الإمارات shelves, Shelving location: General Collection | المجموعات العامة إغلاق مستعرض الرف(يخفي مستعرض الرف)
QA76.642 .P427 2017 Using OpenMP--the next step : affinity, accelerators, tasking, and SIMD / | QA76.642 .P427 2017 Using OpenMP--the next step : affinity, accelerators, tasking, and SIMD / | QA76.7 .A36 2005 Advanced topics in types and programming languages / | QA76.7 .A36 2005 Advanced topics in types and programming languages / | QA76.7 C25 A57 1997 المرجع في لغة كوبول | QA76.7 .F655 2013 Formal and practical aspects of domain-specific languages : recent developments / | QA76.7 .F655 2013 Formal and practical aspects of domain-specific languages : recent developments / |
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.