DOWNLOAD ~ Trends in Functional Programming by Aleksander Byrski & John Hughes ~ Book PDF Kindle ePub Free
eBook details
- Title: Trends in Functional Programming
- Author : Aleksander Byrski & John Hughes
- Release Date : January 17, 2020
- Genre: Programming,Books,Computers & Internet,Computers,Network,
- Pages : * pages
- Size : 21710 KB
Description
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.
The following chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com:
Chapter 3: Generating next step hints for task oriented programs using symbolic execution by Nico Naus and Tim Steenvoorden, and
Chapter 5: Flexible Formality Practical Experience with Agile Formal Methods by Philipp Kant et al
Post a Comment for "DOWNLOAD ~ Trends in Functional Programming by Aleksander Byrski & John Hughes ~ Book PDF Kindle ePub Free"