دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
دانلود کتاب روندها در برنامه نویسی تابعی: هفدهمین کنفرانس بین المللی، TFP 2016، کالج پارک، MD، ایالات متحده آمریکا، 8-10 ژوئن 2016، مقالات منتخب اصلاح شده
مشخصات کتاب
Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
ویرایش: 1st ed.
نویسندگان: David Van Horn. John Hughes
سری: Lecture Notes in Computer Science 10447
ISBN (شابک) : 9783030148041, 9783030148058
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: 198
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 86,000
کلمات کلیدی مربوط به کتاب روندها در برنامه نویسی تابعی: هفدهمین کنفرانس بین المللی، TFP 2016، کالج پارک، MD، ایالات متحده آمریکا، 8-10 ژوئن 2016، مقالات منتخب اصلاح شده: علوم کامپیوتر، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روندها در برنامه نویسی تابعی: هفدهمین کنفرانس بین المللی، TFP 2016، کالج پارک، MD، ایالات متحده آمریکا، 8-10 ژوئن 2016، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روندها در برنامه نویسی تابعی: هفدهمین کنفرانس بین المللی، TFP 2016، کالج پارک، MD، ایالات متحده آمریکا، 8-10 ژوئن 2016، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات داوری هفدهمین کنفرانس بین المللی روندها در برنامه ریزی کاربردی، TFP 2016، در کالج پارک، ایالات متحده آمریکا، در ژوئن 2016 برگزار شد. 10 مقاله کامل ارائه شده در این جلد به دقت بررسی و از 18 مقاله ارسالی انتخاب شدند. . مقالات در بخش های موضوعی به نام های: تکنیک های پیاده سازی سازماندهی شد. انواع و تایید؛ و برنامه نویسی
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming.
فهرست مطالب
Front Matter ....Pages I-IX
Front Matter ....Pages 1-1
Space-Efficient Latent Contracts (Michael Greenberg)....Pages 3-23
Cactus Environment Machine (George Stelle, Darko Stefanovic, Stephen L. Olivier, Stephanie Forrest)....Pages 24-43
Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler (Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani)....Pages 44-58
Front Matter ....Pages 59-59
Proving Type Class Laws for Haskell (Andreas Arvidsson, Moa Johansson, Robin Touche)....Pages 61-74
Dynamic Flow Analysis for JavaScript (Nico Naus, Peter Thiemann)....Pages 75-93
A Type Inference System Based on Saturation of Subtyping Constraints (Benoît Vaugon, Michel Mauny)....Pages 94-112
Front Matter ....Pages 113-113
Project Report: Dependently Typed Programming with Lambda Encodings in Cedille (Ananda Guneratne, Chad Reynolds, Aaron Stump)....Pages 115-134
Threading the Arduino with Haskell (Mark Grebe, Andy Gill)....Pages 135-154
The Random Access Zipper (Kyle Headley, Matthew A. Hammer)....Pages 155-171
Building a Generic Feedback System for Rule-Based Problems (Nico Naus, Johan Jeuring)....Pages 172-191
Back Matter ....Pages 193-193
نظرات کاربران
کتاب های تصادفی
دانلود کتاب School is Dead
دانلود کتاب Adjuvant Therapy of Breast Cancer V
دانلود کتاب Tragicorum Graecorum Fragmenta, Vol. 2 Fragmenta Adespota / Testimonia
دانلود کتاب Live Beat 1 - Student's Book
