دانلود کتاب Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
کتاب گرایش های برنامه نویسی کاربردی: شانزدهمین سمپوزیوم بین المللی، TFP 2015، سوفیا آنتیپولیس، فرانسه، 3-5 ژوئن 2015. مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب گرایش های برنامه نویسی کاربردی: شانزدهمین سمپوزیوم بین المللی، TFP 2015، سوفیا آنتیپولیس، فرانسه، 3-5 ژوئن 2015. مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
نام کتاب : Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : گرایش های برنامه نویسی کاربردی: شانزدهمین سمپوزیوم بین المللی، TFP 2015، سوفیا آنتیپولیس، فرانسه، 3-5 ژوئن 2015. مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 9547
نویسندگان : Manuel Serrano, Jurriaan Hage (eds.)
ناشر : Springer International Publishing
سال نشر : 2016
تعداد صفحات : 165
ISBN (شابک) : 9783319391090 , 9783319391106
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
Front Matter....Pages I-VII
Lightweight Higher-Order Rewriting in Haskell....Pages 1-21
Towards a Theory of Reach....Pages 22-39
Functional Testing of Java Programs....Pages 40-59
Type Class Instances for Type-Level Lambdas in Haskell....Pages 60-84
Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming....Pages 85-103
A Shallow Embedded Type Safe Extendable DSL for the Arduino....Pages 104-123
Programmable Signatures....Pages 124-135
Termination Proofs for Recursive Functions in FoCaLiZe ....Pages 136-156
Back Matter....Pages 157-157
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium.
پست ها تصادفی