دانلود کتاب Functional Programming, Glasgow 1995: Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995
کتاب برنامه نویسی تابعی، گلاسکو 1995: مجموعه مقالات کارگاه 1995 گلاسکو در برنامه نویسی تابعی، اولاپول، اسکاتلند، 10-12 جولای 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
نام کتاب : Functional Programming, Glasgow 1995: Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995
ویرایش : 1
عنوان ترجمه شده به فارسی : برنامه نویسی تابعی، گلاسکو 1995: مجموعه مقالات کارگاه 1995 گلاسکو در برنامه نویسی تابعی، اولاپول، اسکاتلند، 10-12 جولای 1995
سری : electronic Workshops in Computing
نویسندگان : Turner, David Neil (eds.)
ناشر : Springer
سال نشر : 1996
تعداد صفحات : 193
ISBN (شابک) : 354014580X , 9783540145806
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 980 کیلوبایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
گروه برنامه نویسی عملکردی گلاسکو بزرگترین مرکز تحقیقاتی در نوع خود در انگلستان است و کار آن به رسمیت شناخته شده بین المللی رسیده است. از سال 1988 این گروه کارگاه های سالانه ای را سازماندهی کرده است که تمرکزی را برای تحقیقات جدید فراهم می کند و تعامل با سایر محققان زبان کاربردی در صنعت و دانشگاه را تشویق می کند. هشتمین کارگاه از این مجموعه در اولاپول، اسکاتلند، از 10 تا 12 ژوئیه 1995 برگزار شد. مقالات، که به طور کامل بازبینی و برای انتشار به روز شده اند، نتایج تحقیقات جدید را در طیف گسترده ای از موضوعات، از جمله استدلال رسمی در مورد برنامه های کاربردی پوشش می دهند. ، رابط های کاربری گرافیکی و همزمانی. آنها با هم مروری جامع از تحقیقات اخیر در این زمینه ارائه می دهند که مورد توجه محققان، دانشجویان تحصیلات تکمیلی و شاغلین خواهد بود. مقالات کامل کارگاه برنامه نویسی کاربردی به صورت آنلاین در آدرس زیر موجود است: http://www.springer.co.uk/eWiC/Workshops/Functional95.html
این کتابچه رمزهای عبور مورد نیاز برای دسترسی به وب سایت را ارائه می دهد. خرید دفترچه دسترسی نامحدود به سایت را به مدت چهار سال برای کاربر فراهم می کند (البته مشروط به درج رمزهای عبور صحیح در هر بار)
فهرست مطالب :
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.
توضیحاتی در مورد کتاب به زبان اصلی :
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)
پست ها تصادفی