عنوان
پدید آورنده
موضوع
رده
QA76.62
QA76
.
62
کتابخانه
محل استقرار
شابک
شابک
303014805X
شابک
9783030148058
شابک اشتباه
9783030148041
عنوان و نام پديدآور
عنوان اصلي
Trends in functional programming :
نام عام مواد
[Book]
ساير اطلاعات عنواني
17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised selected papers /
نام نخستين پديدآور
David Van Horn, John Hughes (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2019.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (ix, 193 pages) :
ساير جزييات
illustrations (some color)
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
10447
يادداشت کلی
متن يادداشت
Includes author index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Implementation Techniques -- Space-Ecient Latent Contracts -- Cactus Environment Machine: Shared Environment Call-by-Need -- Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler -- Types and Verication Proving Type Class Laws for Haskell -- Dynamic Flow Analysis for JavaScript -- A Type Inference System Based on Saturation of Subtyping Constraints -- Programming -- Project Report: Dependently typed programming with lambda encodings in Cedille -- Threading the Arduino with Haskell -- The Random Access Zipper: Simple, Persistent Sequences -- Building a Generic Feedback System for Rule-based Problems.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016. The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
TFP 2016
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Data structures (Computer science), Congresses.
موضوع مستند نشده
Functional programming (Computer science), Congresses.
موضوع مستند نشده
Logic design-- Computer programs, Congresses.
موضوع مستند نشده
Data structures (Computer science)
موضوع مستند نشده
Functional programming (Computer science)
موضوع مستند نشده
Logic design-- Computer programs.
رده بندی ديویی
شماره
005
.
1/1
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
62
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Hughes, John,1958-
مستند نام اشخاص تاييد نشده
Van Horn, David
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Symposium on Trends in Functional Programming(17th :2016 :, College Park, Md.)
مبدا اصلی
تاريخ عمليات
20200823084007.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
