1 option
Trends in Functional Programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers / edited by Meng Wang, Scott Owens.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Theoretical computer science and general issues 2512-2029 ; SL 1, 10788
- Theoretical Computer Science and General Issues, 2512-2029 ; 10788
- Language:
- English
- Subjects (All):
- Computer programming.
- Software engineering.
- Operating systems (Computers).
- Compilers (Computer programs).
- Computers, Special purpose.
- Computer systems.
- Programming Techniques.
- Software Engineering.
- Operating Systems.
- Compilers and Interpreters.
- Special Purpose and Application-Based Systems.
- Computer System Implementation.
- Local Subjects:
- Programming Techniques.
- Software Engineering.
- Operating Systems.
- Compilers and Interpreters.
- Special Purpose and Application-Based Systems.
- Computer System Implementation.
- Physical Description:
- 1 online resource (VII, 149 pages) : 48 illustrations
- Edition:
- 1st ed. 2018.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2018.
- System Details:
- text file PDF
- 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.
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-319-89719-6
- 9783319897196
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.