Vai al contenuto principale della pagina
Titolo: |
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
![]() |
Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Edizione: | 1st ed. 2021. |
Descrizione fisica: | 1 online resource (142 pages) |
Disciplina: | 005.114 |
Soggetto topico: | Computer programming |
Artificial intelligence | |
Computer engineering | |
Computer networks | |
Compilers (Computer programs) | |
Programming Techniques | |
Artificial Intelligence | |
Computer Engineering and Networks | |
Compilers and Interpreters | |
Persona (resp. second.): | ZsókViktória |
HughesJohn <1958-> | |
Nota di contenuto: | 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. |
Sommario/riassunto: | 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. |
Titolo autorizzato: | Trends in Functional Programming ![]() |
ISBN: | 3-030-83978-8 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910495184203321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |