Ebook > Sciences > Computer Science > Hardware > John Hughes & Viktoria Zsok: Trends in Functional Programming (ePUB)

John Hughes & Viktoria Zsok
Trends in Functional Programming
22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers

Support

Adobe DRM

Cover of John Hughes & Viktoria Zsok: Trends in Functional Programming (ePUB)

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.

€43.41

Language English ● Format EPUB ● ISBN 9783030839789 ● Editor John Hughes & Viktoria Zsok ● Publisher Springer International Publishing ● Published 2021 ● Downloadable 3 times ● Currency EUR ● ID 8085985 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

John Hughes Viktoria Zsok

3,523 Ebooks in this category

Cover of ew (Robb Editorial, California, USA) Robb: Server Disk Management in a Windows Environment

ew (Robb Editorial, California, USA) Robb: Server Disk Management in a Windows Environment

Hard drives and disk management receive scant attention from the industry press, yet recent surveys have identified disk failure as the #1 source of server downtime. Combine this fact with the skyroc …

Cover of Keke Gai & Jing Yu: Introduction to Cybersecurity in the Internet of Things

Keke Gai & Jing Yu: Introduction to Cybersecurity in the Internet of Things

This book addresses the security challenges facing the rapidly growing Internet of Things (Io T) industry, including the potential threats and risks arising from its complex architecture. The authors …

Cover of Yassine Maleh & Saad Motahhir: Security Engineering for Embedded and Cyber-Physical Systems

Yassine Maleh & Saad Motahhir: Security Engineering for Embedded and Cyber-Physical Systems

Digital transformation, also known as Industry 4.0, Smart Industry, and Smart Manufacturing, is at the top of leaders’ agendas. Such a transformation stimulates innovation in new products and service …

Cover of Kornel Terplan: Intranet Performance Management

Kornel Terplan: Intranet Performance Management

To avoid serious bottlenecks, components of the Internet and of intranets-such as servers, browsers, and the access networks-must be properly designed, implemented, managed, and monitored. Beginning …

Cover of M.H Beilby: Scientific Programmer''s Toolkit

M.H Beilby: Scientific Programmer”s Toolkit

The Scientific Programmer”s Toolkit: Turbo Pascal Edition presents a complete software environment for anyone writing programs in mathematical, engineering, or science areas. This toolkit package is …

Cover of Dominic Chinea: Tools A Visual History

Dominic Chinea: Tools A Visual History

A must-read for makers, tinkerers, fixers and creators, The Repair Shop”s Dominic Chinea shares his knowledge and enthusiasm for the history and practical uses of tools. This book is a beautifully-i …

Cover of F.A.P (Heriot-Watt University, Edinburgh, UK) Tooley & B.S (Heriot-Watt University, Edinburgh, UK) Wherrett: Optical Computing

F.A.P (Heriot-Watt University, Edinburgh, UK) Tooley & B.S (Heriot-Watt University, Edinburgh, UK) Wherrett: Optical Computing

Written by ten leading experts in the field, Optical Computing cover topics such as optical bistability, optical interconnects and circuits, photorefractive devices, spatial light modulators, …

Cover of Jagdish Chandra (UPES Dehradun) Patni: A Comprehensive Study of SQL

Jagdish Chandra (UPES Dehradun) Patni: A Comprehensive Study of SQL

A Comprehensive Study of SQL – Practice and Implementation is designed as a textbook and provides a comprehensive approach to SQL (Structured Query Language), the standard programming language for de …

Cover of Agus Kurniawan: Internet of Things Projects with ESP32

Agus Kurniawan: Internet of Things Projects with ESP32

Create and program Internet of Things projects using the Espressif ESP32. Key Features

Getting to know the all new powerful EPS32 boards and build interesting Internet of Things projects …

Cover of Andrew Adamatzky & Selim (Queens University) Akl: From Parallel to Emergent Computing

Andrew Adamatzky & Selim (Queens University) Akl: From Parallel to Emergent Computing

Modern computing relies on future and emergent technologies which have been conceived via interaction between computer science, engineering, chemistry, physics and biology. This highly interdisciplin …