دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Functional Programming, Glasgow 1995: Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995
دانلود کتاب برنامه ریزی کاربردی، گلاسکو 1995: مقالات کارگاه آموزشی گلاسکو 1995 در برنامه ریزی کاربردی، الاپول، اسکاتلند، 10-12 ژوئیه 1995
مشخصات کتاب
Functional Programming, Glasgow 1995: Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995
ویرایش: 1
نویسندگان: Turner. David Neil (eds.)
سری: electronic Workshops in Computing
ISBN (شابک) : 354014580X, 9783540145806
ناشر: Springer
سال نشر: 1996
تعداد صفحات: 193
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 980 کیلوبایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب برنامه ریزی کاربردی، گلاسکو 1995: مقالات کارگاه آموزشی گلاسکو 1995 در برنامه ریزی کاربردی، الاپول، اسکاتلند، 10-12 ژوئیه 1995: برنامه نویسی تابعی (علوم کامپیوتر) -- کنگره ها، برنامه نویسی تابعی (علوم کامپیوتر)
در صورت تبدیل فایل کتاب Functional Programming, Glasgow 1995: Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه ریزی کاربردی، گلاسکو 1995: مقالات کارگاه آموزشی گلاسکو 1995 در برنامه ریزی کاربردی، الاپول، اسکاتلند، 10-12 ژوئیه 1995 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه ریزی کاربردی، گلاسکو 1995: مقالات کارگاه آموزشی گلاسکو 1995 در برنامه ریزی کاربردی، الاپول، اسکاتلند، 10-12 ژوئیه 1995
گروه برنامه نویسی عملکردی گلاسکو بزرگترین مرکز تحقیقاتی در نوع
خود در انگلستان است و کار آن به رسمیت شناخته شده بین المللی
رسیده است. از سال 1988، این گروه کارگاه های سالانه ای را
سازماندهی کرده است که تمرکزی را برای تحقیقات جدید فراهم می کند
و تعامل با سایر محققان زبان کاربردی در صنعت و دانشگاه را تشویق
می کند. هشتمین کارگاه از این مجموعه در اولاپول، اسکاتلند، از 10
تا 12 ژوئیه 1995 برگزار شد. مقالات، که به طور کامل اصلاح و برای
انتشار به روز شده اند، نتایج تحقیقات جدید را در طیف گسترده ای
از موضوعات، از جمله استدلال رسمی در مورد برنامه های کاربردی
پوشش می دهند. ، رابط های گرافیکی کاربر، و همزمانی. آنها با هم
مروری جامع از تحقیقات اخیر در این زمینه ارائه می دهند که مورد
توجه محققان، دانشجویان تحصیلات تکمیلی و شاغلین خواهد بود.
مقالات کامل کارگاه برنامه نویسی تابعی به صورت آنلاین در آدرس
زیر موجود است:
http://www.springer.co.uk/eWiC/Workshops/Functional95.html
این کتابچه رمزهای عبور لازم برای دسترسی به وب سایت را ارائه می
دهد. خرید دفترچه دسترسی نامحدود به سایت را به مدت چهار سال برای
کاربر فراهم می کند (البته مشروط به درج رمزهای عبور صحیح در هر
بار)
توضیحاتی درمورد کتاب به خارجی
The Glasgow Functional Programming Group is the largest
research centre of its kind in the UK, and its work has
attained international recognition. Since 1988 the group has
organised annual workshops which provide a focus for new
research, and encourage interaction with other functional
language researchers in both industry and academia. The eighth
workshop in the series was held in Ullapool, Scotland, from 10
- 12 July 1995. The papers, which have been thoroughly revised
and updated for publication, cover new research results in a
wide range of topics, including formal reasoning about
functional programs, graphic user interfaces, and concurrency.
Together they provide a comprehensive overview of recent
research in this area, which will be of interest to
researchers, postgraduate students and practitioners. The full
papers from the Functional Programming Workshop are available
on-line at:
http://www.springer.co.uk/eWiC/Workshops/Functional95.html
This booklet provides the passwords needed to access the web
site. Purchasing the booklet provides the user with unlimited
access to the site for four years (subject, of course, to entry
of the correct passwords each time)
فهرست مطالب
Content: Uniqueness typing in natural deduction style / E. Barendsen and S. Smetsers --
Towards a purely functional debugger for functional programs / S. Booth and S.B. Jones --
Towards a declarative language for parallel and concurrent programming / S. Breitinger and R. Loogen --
Integrating multithreading into the spineless tagless G-machine / M.M.T. Chakravarty --
Supporting reasoning about functional programs : an operational approach / G. Collins --
Algebraic formula manipulation in a functional language : a first attempt / A.J.T. Davie --
Pictures : a simple structured graphics model / S. Finne and S. Peyton Jones --
The technology behind a graphical user interface for an equational reasoning assistant / A. Gill --
A lazy, self-optimising parallel matrix library / S. Govier and P.H.J. Kelly --
Database manipulation in Haskell 1.3 / K. Hammond and P. Trinder --
The brisk project : concurrent and distributed functional systems / I. Holyer, N. Davies and C. Dornan --
Type reconstruction for SCI / H. Huang and U. Reddy --
Experiences with clean I/O / S.B. Jones --
Using types to parse natural language / M.P. Jones, P. Hudak and S. Shaumyan --
A functional logic language based on higher order narrowing / H. Kuchen --
On the granularity of divide-and-conquer parallelism / H.W. Loidl and K. Hammond --
Formal specification of interconnection networks / J. O'Donnell and G. Rünger.
