TY  - BOOK
AU  - Wang,Meng
AU  - Owens,Scott
ED  - SpringerLink (Online service)
TI  - Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers 
T2  - Theoretical Computer Science and General Issues
SN  - 9783319897196
AV  - QA76.6-76.66 
U1  - 005.11 23
PY  - 2018///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer programming
KW  - Software engineering
KW  - Operating systems (Computers)
KW  - Programming languages (Electronic computers)
KW  - Special purpose computers
KW  - Architecture, Computer
KW  - Programming Techniques
KW  - Software Engineering
KW  - Operating Systems
KW  - Programming Languages, Compilers, Interpreters
KW  - Special Purpose and Application-Based Systems
KW  - Computer System Implementation
N1  - Acceso multiusuario; 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
N2  - 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
UR  - http://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-89719-6
ER  -