Trends in Functional Programming

Trends in Functional Programming
Author :
Publisher : Springer Nature
Total Pages : 137
Release :
ISBN-10 : 9783030839789
ISBN-13 : 3030839788
Rating : 4/5 (788 Downloads)

Book Synopsis Trends in Functional Programming by : Viktória Zsók

Download or read book Trends in Functional Programming written by Viktória Zsók and published by Springer Nature. This book was released on 2021-08-23 with total page 137 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Trends in Functional Programming Related Books

Trends in Functional Programming
Language: en
Pages: 137
Authors: Viktória Zsók
Categories: Computers
Type: BOOK - Published: 2021-08-23 - Publisher: Springer Nature

GET EBOOK

This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in F
Programming Language Implementation and Logic Programming
Language: en
Pages: 452
Authors: Jan Małuszyński
Categories: Computers
Type: BOOK - Published: 1991-08-14 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Pr
Trends in Functional Programming
Language: en
Pages: 253
Authors: Aleksander Byrski
Categories: Computers
Type: BOOK - Published: 2020-08-17 - Publisher: Springer Nature

GET EBOOK

This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Pol
DNA Computing and Molecular Programming
Language: en
Pages: 247
Authors: Chris Thachuk
Categories: Computers
Type: BOOK - Published: 2019-07-30 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 25th International Conference on DNA Computing and Molecular Programming, DNA 25, held in Seattle, WA, USA
Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 652
Authors: Martin Davis
Categories: Computers
Type: BOOK - Published: 2015-12-01 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in No