Trends in Functional Programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers / edited by Meng Wang, Scott Owens.
Wang, Meng. editor.; Owens, Scott. editor.
2018
QA76.6-76.66
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Trends in Functional Programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers / edited by Meng Wang, Scott Owens.
ISBN 9783319897196
3319897195
9783319897189
3319897187
9783319897189
DOI https://doi.org/10.1007/978-3-319-89719-6
Published Cham : Springer International Publishing : Imprint: Springer, 2018.
Language English
Description 1 online resource (vii, 149 pages) : illustrations.
Item Number 10.1007/978-3-319-89719-6 doi
Call Number QA76.6-76.66
Dewey Decimal Classification 005.11
Summary 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.
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Added Author Wang, Meng. editor.
Owens, Scott. editor.
Series Lecture notes in computer science ; 10788.
Available in Other Form Print version: 9783319897189
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export