دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings
دانلود کتاب ترکیب‌ها و زبان‌های برنامه‌نویسی تابعی: سیزدهمین مدرسه بهار LITP Val d'Ajol، فرانسه، 6 تا 10 مه، 1985 مجموعه مقالات
مشخصات کتاب
Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: P. Bellot, B. Robinet (auth.), Guy Cousineau, Pierre-Louis Curien, Bernard Robinet (eds.) سری: Lecture Notes in Computer Science 242 ISBN (شابک) : 3540171843, 9783540171843 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1986 تعداد صفحات: 213 زبان: English-French فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب ترکیب‌ها و زبان‌های برنامه‌نویسی تابعی: سیزدهمین مدرسه بهار LITP Val d'Ajol، فرانسه، 6 تا 10 مه، 1985 مجموعه مقالات: است
در صورت تبدیل فایل کتاب Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ترکیب‌ها و زبان‌های برنامه‌نویسی تابعی: سیزدهمین مدرسه بهار LITP Val d'Ajol، فرانسه، 6 تا 10 مه، 1985 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Streams are not dreams....Pages 1-20
Amber....Pages 21-47
The amber machine....Pages 48-70
Sur l\'analogie entre les propositions et les types....Pages 71-84
Combinateurs Catégoriques et Implémentation des Langages Fonctionnels....Pages 85-103
Combinators and lambda-calculus, a short outline....Pages 104-122
Cartesian closed categories and lambda-calculus....Pages 123-135
Cartesian closed categories and typed λ-calculi....Pages 136-175
An introduction to fully-lazy supercombinators....Pages 176-208
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Pure Data Official Manual
دانلود کتاب Programming Windows Azure: Programming the Microsoft Cloud
دانلود کتاب A+ Certification Training Kit
دانلود کتاب Microsoft Exchange Server 2007 Administrator's Pocket Consultant
دانلود کتاب Fordítóprogramok
دانلود کتاب Spraw, by rzeczy przemówiły. Programowanie urządzeń elektronicznych z wykorzystaniem Arduino
دانلود کتاب php|architect's Guide to Date and Time Programming
دانلود کتاب Dynamic Scheduling With Microsoft Project 2002: The Book by and for Professionals
دانلود کتاب Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
