دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 نویسندگان: Sam Lindley, Conor McBride, Phil Trinder, Don Sannella (eds.) سری: Lecture Notes in Computer Science 9600 ISBN (شابک) : 9783319309354, 9783319309361 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: 501 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 21 مگابایت
قیمت کتاب (تومان) : 35,000
کلمات کلیدی مربوط به کتاب لیستی از موفقیتهایی که می توانند جهان را تغییر دهند: مقالاتی که به مناسبت شصتمین سالگرد تولد خود به فیلیپ وادلر اختصاص یافته است: است
در صورت تبدیل فایل کتاب 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
