مشخصات کتاب

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 مگابایت 

کلمات کلیدی مربوط به کتاب روندهای برنامه نویسی کاربردی: سیزدهمین سمپوزیوم بین المللی ، 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 ، نسخه های تجدید نظر شده

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

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 -

نظرات کاربران

کتاب های تصادفی

دانلود کتاب The Last Rattlesnake Throw and Other Stories (American Indian Literature and Critical Studies Series)

دانلود کتاب The Rough Guide to California

دانلود کتاب Spark: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits

دانلود کتاب People, Practice, Power: Digital Humanities outside the Center

دانلود کتاب Streetsmart Guide to Valuing a Stock