Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers (Volume 12834)

Zs K, Vikt Ria

ISBN 10: 303083977X / ISBN 13: 9783030839772

Verlag: Springer Nature, 2021

2021. 1st ed. 2021. paperback. . . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9783030839772

Inhaltsangabe:

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.

Von der hinteren Coverseite:

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.

Bibliografische Details

Titel: Trends in Functional Programming: 22nd ...
Verlag: Springer Nature
Erscheinungsdatum: 2021
Einband: Softcover
Zustand: New