مشخصات کتاب

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 کیلوبایت 

کلمات کلیدی مربوط به کتاب برنامه ریزی کاربردی، گلاسکو 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.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Jean Duns Scot: Introduction a Ses Positions Fondamentales

دانلود کتاب Focus on Artificial Neural Networks

دانلود کتاب Introduction to Evolutionary Algorithms

دانلود کتاب Die Förderung von Massengütern: I. Band Bau und Berechnung der stetig arbeitenden Förderer

دانلود کتاب Computer-Organized Cost Engineering