دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
دانلود کتاب روندهای برنامه نویسی کاربردی: سیزدهمین سمپوزیوم بین المللی ، TFP 2012 ، سنت اندروز ، انگلیس ، 12-14 ژوئن 2012 ، نسخه های تجدید نظر شده
مشخصات کتاب
Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
ویرایش: 1 نویسندگان: D. A. Turner (auth.), Hans-Wolfgang Loidl, Ricardo Peña (eds.) سری: Lecture Notes in Computer Science 7829 ISBN (شابک) : 9783642404467, 9783642404474 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 321 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب روندهای برنامه نویسی کاربردی: سیزدهمین سمپوزیوم بین المللی ، TFP 2012 ، سنت اندروز ، انگلیس ، 12-14 ژوئن 2012 ، نسخه های تجدید نظر شده: تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روندهای برنامه نویسی کاربردی: سیزدهمین سمپوزیوم بین المللی ، TFP 2012 ، سنت اندروز ، انگلیس ، 12-14 ژوئن 2012 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روندهای برنامه نویسی کاربردی: سیزدهمین سمپوزیوم بین المللی ، TFP 2012 ، سنت اندروز ، انگلیس ، 12-14 ژوئن 2012 ، نسخه های تجدید نظر شده
این کتاب شامل مقالات منتخب تجدید نظر شده سیزدهمین سمپوزیوم بین‌المللی گرایش‌ها در برنامه‌نویسی عملکردی، TFP 2012 است که در ژوئن 2012 در سنت اندروز، اسکاتلند، انگلستان برگزار شد. 18 مقاله کامل اصلاح شده موجود در این جلد با دقت و از بین 49 ارسال انتخاب شده و با یک مقاله دعوت شده تکمیل می شود. آنها جنبه های مختلف روند در برنامه نویسی عملکردی را پوشش می دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming.
فهرست مطالب
Front Matter....Pages -
Some History of Functional Programming Languages....Pages 1-20
Combining Deep and Shallow Embedding for EDSL....Pages 21-36
The Blame Theorem for a Linear Lambda Calculus with Type Dynamic....Pages 37-52
Higher-Order Size Checking without Subtyping....Pages 53-68
Well-Typed Islands Parse Faster....Pages 69-84
Higher-Order Strictness Typing....Pages 85-100
Call-by-Value Semantics for Mutually Recursive First-Class Modules....Pages 101-116
The Design of a Practical Proof Checker for a Lazy Functional Language....Pages 117-132
Towards a Framework for Building Formally Verified Supercompilers in Coq....Pages 133-148
Matching Problem for Regular Expressions with Variables....Pages 149-166
OCaml-Java: OCaml on the JVM....Pages 167-181
The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming....Pages 182-197
Lingua Franca of Functional Programming (FP)....Pages 198-214
Haskell Gets Argumentative....Pages 215-230
Repeating History: Execution Replay for Parallel Haskell Programs....Pages 231-246
Supervised Workpools for Reliable Massively Parallel Computing....Pages 247-262
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software....Pages 263-278
Towards Heterogeneous Computing without Heterogeneous Programming....Pages 279-294
On Using Erlang for Parallelization....Pages 295-310
Back Matter....Pages -
