Search

Select theme:

Shopping cart

Subtotal
$97.00
View cart Checkout

Saved articles

You have not yet added any article to your bookmarks!

Browse articles
Newsletter image

Subscribe to the Newsletter

Join 10k+ people to get notified about new posts, news and tips.

Do not worry we don't spam!

GDPR Compliance

We use cookies to ensure you get the best experience on our website. By continuing to use our site, you accept our use of cookies, Privacy Policy, and Terms of Service.

  • Home
Trends in Functional Programming

Trends in Functional Programming

By Aleksander Byrski & John Hughes Programming 17/08/2020

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

Read More
More Books from Aleksander Byrski & John Hughes
Trends in Functional Programming Aleksander Byrski & John Hughes
Trends in Functional Programming
Evolutionary Multi-Agent Systems Aleksander Byrski & Marek Kisiel-Dorohinicki
Evolutionary Multi-Agent Systems
Computer Science Protecting Human Society Against Epidemics Aleksander Byrski, Tadeusz Czachorski, Erol Gelenbe, Krzysztof Grochla & Yuko Murayama
Computer Science Protecting Human Society Against Epidemics
Comments