دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
دانلود کتاب اجرای و کاربرد زبانهای کاربردی: بیست و چهارمین سمپوزیوم بین المللی ، IFL 2012 ، آکسفورد ، انگلستان ، 30 آگوست - 1 سپتامبر 2012 ، نسخه های تجدید نظر شده
مشخصات کتاب
Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
ویرایش: 1 نویسندگان: Dominic Orchard, Alan Mycroft (auth.), Ralf Hinze (eds.) سری: Lecture Notes in Computer Science 8241 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642415814, 9783642415821 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 250 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب اجرای و کاربرد زبانهای کاربردی: بیست و چهارمین سمپوزیوم بین المللی ، IFL 2012 ، آکسفورد ، انگلستان ، 30 آگوست - 1 سپتامبر 2012 ، نسخه های تجدید نظر شده: منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)
در صورت تبدیل فایل کتاب Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اجرای و کاربرد زبانهای کاربردی: بیست و چهارمین سمپوزیوم بین المللی ، IFL 2012 ، آکسفورد ، انگلستان ، 30 آگوست - 1 سپتامبر 2012 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اجرای و کاربرد زبانهای کاربردی: بیست و چهارمین سمپوزیوم بین المللی ، IFL 2012 ، آکسفورد ، انگلستان ، 30 آگوست - 1 سپتامبر 2012 ، نسخه های تجدید نظر شده
این کتاب حاوی مقالات منتخب بررسی شده و بازبینی شده از بیست و چهارمین سمپوزیوم بین المللی پیاده سازی و کاربرد زبان های کاربردی، IFL 2012، که در آکسفورد، انگلستان، در آگوست/سپتامبر 2012 برگزار شد. 14 مقاله موجود در این جلد بودند. با دقت بررسی و از بین 28 ارسال اصلاح شده دریافت شده از 37 ارائه اولیه در کنفرانس انتخاب شد. مقالات مربوط به پیاده سازی و کاربرد زبان های تابعی و برنامه نویسی مبتنی بر تابع است.
توضیحاتی درمورد کتاب به خارجی
This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate to the implementation and application of functional languages and function-based programming.
فهرست مطالب
Front Matter....Pages I-X
A Notation for Comonads....Pages 1-17
Iterating Skeletons....Pages 18-36
Building JavaScript Applications with Haskell....Pages 37-52
Advances in Lazy SmallCheck....Pages 53-70
OCaml-Java: From OCaml Sources to Java Bytecodes....Pages 71-85
The HERMIT in the Tree....Pages 86-103
Optimisation of Generic Programs Through Inlining....Pages 104-121
A Type- and Control-Flow Analysis for System F....Pages 122-139
Dependently-Typed Programming in Scientific Computing....Pages 140-156
Engineering Proof by Reflection in Agda....Pages 157-173
Agda Meets Accelerate....Pages 174-189
An Embedded Type Debugger....Pages 190-206
Pure and Lazy Lambda Mining....Pages 207-223
De composing Metaheuristic Operations....Pages 224-239
Back Matter....Pages 241-241
