دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Datatype-Generic Programming. International Spring School, SSDGP 2006
دانلود کتاب Datatype-Generic Programming. مدرسه بهار بین المللی، SSDGP 2006
مشخصات کتاب
Datatype-Generic Programming. International Spring School, SSDGP 2006
ویرایش: نویسندگان: Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.) سری: ISBN (شابک) : 9783540767855 ناشر: Springer سال نشر: 2007 تعداد صفحات: 374 زبان: english فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 49,000
در صورت تبدیل فایل کتاب Datatype-Generic Programming. International Spring School, SSDGP 2006 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Datatype-Generic Programming. مدرسه بهار بین المللی، SSDGP 2006 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Datatype-Generic Programming. مدرسه بهار بین المللی، SSDGP 2006
این کتاب آموزشی شش سخنرانی را ارائه می دهد که با دقت اصلاح شده در مدرسه بهار در مورد برنامه نویسی نوع داده عمومی، SSDGP 2006 ارائه شده است. این سخنرانی در ناتینگهام، انگلستان، در آوریل 2006 برگزار شد. و کنفرانس پروژه انواع (TYPES 2006). همه سخنرانی‌ها توسط ویراستاران و همکاران مورد بررسی داخلی قرار گرفته‌اند، که توسط بررسی‌های خارجی مستقل پشتیبانی می‌شود.
توضیحاتی درمورد کتاب به خارجی
This tutorial book presents six carefully revised lectures given at the Spring School on Datatype-Generic Programming, SSDGP 2006. This was held in Nottingham, UK, in April 2006. It was colocated with the Symposium on Trends in Functional Programming (TFP 2006), and the Conference of the Types Project (TYPES 2006). All the lectures have been subjected to thorough internal review by the editors and contributors, supported by independent external reviews.
فهرست مطالب
Front Matter....Pages -
Datatype-Generic Programming....Pages 1-71
Comparing Approaches to Generic Programming in Haskell....Pages 72-149
Generic Programming, Now!....Pages 150-208
Generic Programming with Dependent Types....Pages 209-257
Generic Programming in Ωmega....Pages 258-284
Revealing the X/O Impedance Mismatch....Pages 285-367
Back Matter....Pages -
