عنوان
پدید آورنده
موضوع
رده
QA76.62
QA76
.
62
کتابخانه
محل استقرار
شابک
شابک
3319897195
شابک
9783319897196
شابک اشتباه
3319897187
شابک اشتباه
9783319897189
عنوان و نام پديدآور
عنوان اصلي
Trends in functional programming :
نام عام مواد
[Book]
ساير اطلاعات عنواني
18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers /
نام نخستين پديدآور
edited by Meng Wang, Scott Owens.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2018.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (VII, 149 pages) :
ساير جزييات
48 illustrations
فروست
عنوان فروست
Lecture Notes in Computer Science,
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
10788
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به مندرجات
متن يادداشت
Memoized Flat Closures for CPS -- Maintaining Separation of Concerns Through Task-Oriented Software Development -- Typed Relational Conversion -- A Multi-tier Version of Elm and its Time-Traveling Debugger -- Concurrent System Programming with Effect Handlers -- Automatically Introducing Tail Recursion in CakeML -- The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783319897196
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783319897189
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Data structures (Computer science), Congresses.
موضوع مستند نشده
Functional programming (Computer science), Congresses.
موضوع مستند نشده
Logic design-- Computer programs, Congresses.
موضوع مستند نشده
Computer architecture.
موضوع مستند نشده
Computer programming-- software development.
موضوع مستند نشده
Computer programming.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Computers-- Expert Systems.
موضوع مستند نشده
Computers-- Information Technology.
موضوع مستند نشده
Computers-- Operating Systems-- General.
موضوع مستند نشده
Computers-- Programming-- General.
موضوع مستند نشده
Computers-- Programming Languages-- General.
موضوع مستند نشده
Computers-- Software Development & Engineering-- General.
موضوع مستند نشده
Computers, Special purpose.
موضوع مستند نشده
Expert systems-- knowledge-based systems.
موضوع مستند نشده
Operating systems (Computers)
موضوع مستند نشده
Operating systems.
موضوع مستند نشده
Programming & scripting languages: general.
موضوع مستند نشده
Programming languages (Electronic computers)
موضوع مستند نشده
Software engineering.
موضوع مستند نشده
Software Engineering.
موضوع مستند نشده
Systems analysis & design.
مقوله موضوعی
موضوع مستند نشده
COM051000
موضوع مستند نشده
UM
موضوع مستند نشده
UM
رده بندی ديویی
شماره
005
.
11
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
62
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Owens, Scott
مستند نام اشخاص تاييد نشده
Wang, Meng
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Symposium on Trends in Functional Programming(18th :2017 :, Canterbury, Great Britain)
مبدا اصلی
تاريخ عمليات
20200823114723.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
