ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

دانلود کتاب لیستی از موفقیتهایی که می توانند جهان را تغییر دهند: مقالاتی که به مناسبت شصتمین سالگرد تولد خود به فیلیپ وادلر اختصاص یافته است

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

مشخصات کتاب

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 9600 
ISBN (شابک) : 9783319309354, 9783319309361 
ناشر: Springer International Publishing 
سال نشر: 2016 
تعداد صفحات: 501 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 21 مگابایت 

قیمت کتاب (تومان) : 36,000



کلمات کلیدی مربوط به کتاب لیستی از موفقیتهایی که می توانند جهان را تغییر دهند: مقالاتی که به مناسبت شصتمین سالگرد تولد خود به فیلیپ وادلر اختصاص یافته است: است



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 14


در صورت تبدیل فایل کتاب A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب لیستی از موفقیتهایی که می توانند جهان را تغییر دهند: مقالاتی که به مناسبت شصتمین سالگرد تولد خود به فیلیپ وادلر اختصاص یافته است نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب لیستی از موفقیتهایی که می توانند جهان را تغییر دهند: مقالاتی که به مناسبت شصتمین سالگرد تولد خود به فیلیپ وادلر اختصاص یافته است



این جلد به مناسبت شصتمین سالگرد تولد فیلیپ وادلر در Honor of Philip Wadler منتشر شده است و مجموعه مقالات برای او Festschrift است. این مشارکت توسط برخی از افرادی که فیل را می شناسند و تحت تأثیر او قرار گرفته اند، انجام می شود. مقالات تحقیقاتی موجود در اینجا نشان دهنده برخی از زمینه هایی است که فیل در آنها فعال بوده است، و ویراستاران از همکاران خود برای موافقت با مشارکت در این Festschrift تشکر می کنند. ما سعی می کنیم دستاوردهای علمی فیل وادلر را خلاصه کنیم. علاوه بر این، سبک شخصی و اشتیاق فیل را برای این موضوع شرح می دهیم.


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

This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift. We attempt to summarize Phil Wadler's scientific achievements. In addition, we describe the personal style and enthusiasm that Phil has brought to the subject.



فهرست مطالب

Front Matter....Pages I-XXII
Reflections on Monadic Lenses....Pages 1-31
Conflation Confers Concurrency....Pages 32-55
Counting Successes: Effects and Transformations for Non-deterministic Programs....Pages 56-72
The Essence of Inheritance....Pages 73-94
Subtyping Supports Safe Session Substitution....Pages 95-108
Proof-Relevant Parametricity....Pages 109-131
Comprehending Ringads....Pages 132-151
Dragging Proofs Out of Pictures....Pages 152-168
Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane....Pages 169-186
Cutting Out Continuations....Pages 187-200
The Lambda Calculus: Practice and Principle ....Pages 201-206
I Got Plenty o’ Nuttin’....Pages 207-233
Pointlessness is Better than Listlessness....Pages 234-248
The Essence of Dependent Object Types....Pages 249-272
A Reflection on Types....Pages 273-291
The Essence of Multi-stage Evaluation in LMS....Pages 292-317
1ML with Special Effects....Pages 318-335
The Computer Scientist Nightmare....Pages 336-355
A Branding Strategy for Business Types....Pages 356-366
The Recursive Union of Some Gradual Types....Pages 367-387
A Delta for Hybrid Type Checking....Pages 388-410
Certifying Data in Multiparty Session Types....Pages 411-432
Recursion Equations as a Programming Language....Pages 433-458
Back Matter....Pages 459-478
....Pages 479-479




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