Skip to main content
SpringerLink
Log in

Trends in Functional Programming

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

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Aleksander Byrski

    1. AGH University of Science and Technology, Krakow, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John Hughes

    1. Chalmers University of Technology, Gothenburg, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12222)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: TFP 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Domain-Specific Languages

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. PaSe: An Extensible and Inspectable DSL for Micro-Animations

      • Ruben P. Pieters, Tom Schrijvers
      Pages 3-24

    3. BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

      • Agustín Mista, Alejandro Russo
      Pages 25-46

    4. Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution

      • Nico Naus, Tim Steenvoorden
      Pages 47-68Open Access

  3. Debugging and Testing

    1. Front Matter

      Pages 69-69
      Download chapter PDF

    2. Scaling Up Delta Debugging of Type Errors

      • Joanna Sharrad, Olaf Chitil
      Pages 71-93

    3. Flexible Formality Practical Experience with Agile Formal Methods

      • Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan et al.
      Pages 94-120Open Access

    4. White-Box Path Generation in Recursive Programs

      • Ricardo Peña, Jaime Sánchez-Hernández
      Pages 121-135

  4. Reasoning and Effects

    1. Front Matter

      Pages 137-137
      Download chapter PDF

    2. A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang

      • Péter Bereczky, Dániel Horpácsi, Simon Thompson
      Pages 139-158

    3. One-Shot Algebraic Effects as Coroutines

      • Satoru Kawahara, Yukiyoshi Kameyama
      Pages 159-179

    4. An Equational Modeling of Asynchronous Concurrent Programming

      • David Janin
      Pages 180-203

    5. State Will do

      • Willem Seynaeve, Koen Pauwels, Tom Schrijvers
      Pages 204-225

  5. Parallelism

    1. Front Matter

      Pages 227-227
      Download chapter PDF

    2. Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data

      • Lukas Immanuel Schiller
      Pages 229-248

  6. Back Matter

    Pages 249-249
    Download chapter PDF
Back to top

Other volumes

  1. Trends in Functional Programming

Keywords

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.

 


Editors and Affiliations

  • AGH University of Science and Technology, Krakow, Poland

    Aleksander Byrski

  • Chalmers University of Technology, Gothenburg, Sweden

    John Hughes

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation