1 option
Trends in Functional Programming : 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers / edited by Viktória Zsók, John Hughes.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Theoretical computer science and general issues 2512-2029 ; SL 1, 12834
- Theoretical Computer Science and General Issues, 2512-2029 ; 12834
- Language:
- English
- Subjects (All):
- Computer programming.
- Artificial intelligence.
- Computer engineering.
- Computer networks.
- Compilers (Computer programs).
- Programming Techniques.
- Artificial Intelligence.
- Computer Engineering and Networks.
- Compilers and Interpreters.
- Local Subjects:
- Programming Techniques.
- Artificial Intelligence.
- Computer Engineering and Networks.
- Compilers and Interpreters.
- Physical Description:
- 1 online resource (VII, 137 pages) : 35 illustrations, 10 illustrations in color.
- Edition:
- 1st ed. 2021.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2021.
- System Details:
- text file PDF
- Summary:
- This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020. The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, translating, proving functional programs.
- Contents:
- Nested parallelism, semantics, task-oriented programming
- Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties
- A Generic Back-End for Exploratory Programming
- Dynamic Editors for Well-Typed Expressions
- Modelling, translating, proving functional programs
- High-Level Modelling for Typed Functional Programming
- Translating Lambda Calculus into C++ Templates
- ProofViz: An Interactive Visual Proof Explorer.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-030-83978-9
- 9783030839789
- 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.