Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 17
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10431393
Beschreibung
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.
Eigenschaften
Breite: | 155 |
Gewicht: | 238 g |
Höhe: | 235 |
Seiten: | 137 |
Sprachen: | Englisch |
Autor: | John Hughes, Viktória Zsók |