Catalog > Sciences > Computer Science > Aleksander Byrski & John Hughes: Trends in Functional Programming (PDF)

Aleksander Byrski & John Hughes
Trends in Functional Programming [PDF ebook]
21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers

Support

Cover of Aleksander Byrski & John Hughes: Trends in Functional Programming (PDF)

This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; reasoning and effects; and parallelism.

€57.76

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783030577612 ● Editor Aleksander Byrski & John Hughes ● Publisher Springer International Publishing ● Published 2020 ● Downloadable 3 times ● Currency EUR ● ID 8085767 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Aleksander Byrski John Hughes

75,591 Ebooks in this category

Cover of Mano (SecuRisk Solutions, Pflugerville, Texas, USA) Paul: Official (ISC)2 Guide to the CSSLP CBK

Mano (SecuRisk Solutions, Pflugerville, Texas, USA) Paul: Official (ISC)2 Guide to the CSSLP CBK

Application vulnerabilities continue to top the list of cyber security concerns. While attackers and researchers continue to expose new application vulnerabilities, the most common application flaws …

Cover of Claus Matzinger: Learn Rust Programming

Claus Matzinger: Learn Rust Programming

"Learn Rust Programming" assists every programmer in learning Rust and filling in the gaps left by other programming languages in developing full-proof apps and systems. This book covers ev …

Cover of James S. (Raleigh, North Carolina, USA) Tiller: A Technical Guide to IPSec Virtual Private Networks

James S. (Raleigh, North Carolina, USA) Tiller: A Technical Guide to IPSec Virtual Private Networks

What is IPSec? What”s a VPN? Why do the need each other? Virtual Private Network (VPN) has become one of the most recognized terms in our industry, yet there continuously seems to be different impre …

Cover of Sanjiv Purba: New Directions in Internet Management

Sanjiv Purba: New Directions in Internet Management

What is the business model for making money on the Internet and how does it function? The answer to this question will determine the shape of the Internet over the near term. As the Internet business …

Cover of Phillip Penix-Tadsen: Video Games and the Global South

Phillip Penix-Tadsen: Video Games and the Global South

Cover of Tolga Soyata: Enabling Real-Time Mobile Cloud Computing through Emerging Technologies

Tolga Soyata: Enabling Real-Time Mobile Cloud Computing through Emerging Technologies

Cover of Christiana Chimonaki & Alexandros Garefalakis: Machine Learning Applications for Accounting Disclosure and Fraud Detection

Christiana Chimonaki & Alexandros Garefalakis: Machine Learning Applications for Accounting Disclosure and Fraud Detection

The prediction of the valuation of the quality of firm accounting disclosure is an emerging economic problem that has not been adequately analyzed in the relevant economic literature. While there are …

Cover of Team Orange: Touchpad Modular Ver. 1.1 Class 1

Team Orange: Touchpad Modular Ver. 1.1 Class 1

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickipedia: …

Cover of Douglas E. (Syneca Research Group Inc., Fairfax, Virginia, USA) Campbell & Raymond J (Strategic Consulting, Fairfax Station, Virginia, USA) Curts: Building A Global Information Assurance Program

Douglas E. (Syneca Research Group Inc., Fairfax, Virginia, USA) Campbell & Raymond J (Strategic Consulting, Fairfax Station, Virginia, USA) Curts: Building A Global Information Assurance Program

Governments, their agencies, and businesses are perpetually battling to protect valuable, classified, proprietary, or sensitive information but often find that the restrictions imposed upon them by i …

Cover of Alex Chi Keung Ng: Contemporary Identity and Access Management Architectures: Emerging Research and Opportunities

Alex Chi Keung Ng: Contemporary Identity and Access Management Architectures: Emerging Research and Opportunities