Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
by
Wang, Meng. editor.
Title
:
Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Author
:
Wang, Meng. editor.
ISBN
:
9783319897196
Physical Description
:
VII, 149 p. 48 illus. online resource.
Series
:
Theoretical Computer Science and General Issues ; 10788
Contents
:
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.
Abstract
:
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.
Subject Term
:
Computer science.
Software engineering.
Operating systems (Computers).
Computer network architectures.
Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Operating Systems. http://scigraph.springernature.com/things/product-market-codes/I14045
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
Special Purpose and Application-Based Systems. http://scigraph.springernature.com/things/product-market-codes/I13030
Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I13057
Added Author
:
Wang, Meng.
Owens, Scott.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | Status |
---|
IYTE Library | E-Book | 2085602-1001 | QA76.6 -76.66 | Online Springer |