Theoretical Computer Science and General Issues

Trends in Functional Programming

21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers

Editors: Byrski, Aleksander, Hughes, John (Eds.)

Free Preview

Buy this book

eBook 42,79 €
price for Spain (gross)
  • ISBN 978-3-030-57761-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 51,99 €
price for Spain (gross)
About this book

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.

 

Table of contents (11 chapters)

Table of contents (11 chapters)
  • PaSe: An Extensible and Inspectable DSL for Micro-Animations

    Pages 3-24

    Pieters, Ruben P. (et al.)

  • BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

    Pages 25-46

    Mista, Agustín (et al.)

  • Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution

    Pages 47-68

    Naus, Nico (et al.)

  • Scaling Up Delta Debugging of Type Errors

    Pages 71-93

    Sharrad, Joanna (et al.)

  • Flexible Formality Practical Experience with Agile Formal Methods

    Pages 94-120

    Kant, Philipp (et al.)

Buy this book

eBook 42,79 €
price for Spain (gross)
  • ISBN 978-3-030-57761-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 51,99 €
price for Spain (gross)
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Trends in Functional Programming
Book Subtitle
21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers
Editors
  • Aleksander Byrski
  • John Hughes
Series Title
Theoretical Computer Science and General Issues
Series Volume
12222
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-57761-2
DOI
10.1007/978-3-030-57761-2
Softcover ISBN
978-3-030-57760-5
Edition Number
1
Number of Pages
X, 249
Number of Illustrations
736 b/w illustrations, 45 illustrations in colour
Topics