Trends in Functional Programming
Springer International Publishing (Verlag)
978-3-030-83977-2 (ISBN)
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.
Chapter 'Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Chapter 'High-level Modelling for Typed Functional Programming' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
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.
| Erscheinungsdatum | 30.07.2021 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | VII, 137 p. 35 illus., 10 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 237 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Netzwerke |
| Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
| Informatik ► Weitere Themen ► Hardware | |
| Schlagworte | Applications • Artificial Intelligence • computer programming • Computer Science • Computer systems • conference proceedings • distributed computer systems • Distributed Systems • Embedded Systems • Formal Logic • Functional languages • Functional Programming • Haskell • Informatics • Lambda Calculus • Logic Programming • Mathematics • object-oriented programming • parallel processing systems • program compilers • Programming Languages • Research • Semantics • Software engineering |
| ISBN-10 | 3-030-83977-X / 303083977X |
| ISBN-13 | 978-3-030-83977-2 / 9783030839772 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
