دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Functional programming : proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland
دانلود کتاب برنامه نویسی کاربردی: جلسات کارگاه آموزشی گلاسگو 1989، 21 تا 23 اوت 1989، Fraserburgh، Scotland
مشخصات کتاب
Functional programming : proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland
ویرایش: Softcover reprint of the original 1st ed. 1990
نویسندگان: Kei Davis. John Hughes
سری: Workshops in Computing
ISBN (شابک) : 3540196099, 0387196099
ناشر: Springer Verlag
سال نشر: 1990
تعداد صفحات: 417
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب برنامه نویسی کاربردی: جلسات کارگاه آموزشی گلاسگو 1989، 21 تا 23 اوت 1989، Fraserburgh، Scotland: برنامه نویسی کاربردی -- کنگره ها
در صورت تبدیل فایل کتاب Functional programming : proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی کاربردی: جلسات کارگاه آموزشی گلاسگو 1989، 21 تا 23 اوت 1989، Fraserburgh، Scotland نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی کاربردی: جلسات کارگاه آموزشی گلاسگو 1989، 21 تا 23 اوت 1989، Fraserburgh، Scotland
برنامه نویسی تابعی حوزه نسبتا جدیدی از علوم کامپیوتر است. این مجموعه شامل 25 مقاله است که تصویری عالی از وضعیت فعلی برنامه نویسی عملکردی را نشان می دهد و توسط دانشمندان پیشرو کامپیوتر در این دوره نوشته شده است. در برخی از دانشگاه ها از زبان برنامه نویسی تابعی به عنوان زبان تدریس مقدماتی استفاده می شود و معماری کامپیوتر برای پشتیبانی از زبان های تابعی طراحی و بررسی می شود.
توضیحاتی درمورد کتاب به خارجی
Functional Programming is a relatively new area of computer science. These proceedings contain 25 papers representing an excellent snapshot of the current state of functional programming and are written by the leading computer scientists in this aera. In some universities, a functional programming language is used as the introductory teaching language and computer architectures are being designed and investigated to support functional languages
فهرست مطالب
Front Matter....Pages i-viii
A New Method for Strictness Analysis on Non-Flat Domains....Pages 1-11
Backwards Strictness Analysis: Proved and Improved....Pages 12-30
Abstract Interpretation of Polymorphic Functions....Pages 31-40
An Iterative Powerdomain Construction....Pages 41-55
Complexity Analysis for a Lazy Higher-Order Language....Pages 56-79
Deriving the fast Fourier algorithm by calculation....Pages 80-102
Chemical Reaction as a Computational Model....Pages 103-117
Sketching a Constructive Definition of ‘mix’....Pages 118-132
Transformation in a Non-Strict Language: An Approach to Instantiation....Pages 133-141
Referentially Transparent Database Languages....Pages 142-156
Imperative Effects from a Pure Functional Language....Pages 157-169
Designing Data Structures....Pages 170-181
Describing Butterfly Networks in Ruby....Pages 182-205
Implementation of a Non-Standard Interpretation System....Pages 206-224
Simulating Multiprocessor Architectures for Compiled Graph-Reduction....Pages 225-237
Dependent Sums Express Separation of Binding Times....Pages 238-253
Type inference and type classes....Pages 254-264
Implementing Haskell Type Classes....Pages 265-286
Implementing Functional Languages on the Transputer....Pages 287-295
Hope + on Flagship....Pages 296-307
Expressing and Reasoning About Non-deterministic Functional Programs....Pages 308-328
Evaluation Annotations for Hope + ....Pages 329-337
Some Ideas On Parallel Functional Programming....Pages 338-352
Parsing Using Combinators....Pages 353-370
Gerald: An Exceptional Lazy Functional Programming Language....Pages 371-390
Geometrization for Interactive Software Development....Pages 391-409
Back Matter....Pages 411-411
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Workplace Culture in Academic Libraries. The Early 21st Century
دانلود کتاب Global Climate Change and Human Impacts on Forest Ecosystems: Postglacial Development, Present Situation, and Future Trends in Central Europe
دانلود کتاب AARP the Little Book of Economics. How the Economy Works in the Real World
دانلود کتاب Principles of Optical Fiber Measurements
