عنوان
پدید آورنده
موضوع
رده
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
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
