Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

21st TFP 2020: Krakow, Poland

> Home > Conferences and Workshops > TFP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sfp/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/2020
Aleksander Byrski, John Hughes:
Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12222, Springer 2020, ISBN 978-3-030-57760-5

Domain-Specific Languages

- view
  authority control:
- export record
  dblp key:
  - conf/sfp/PietersS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/PietersS20
Ruben P. Pieters, Tom Schrijvers:
PaSe: An Extensible and Inspectable DSL for Micro-Animations. 3-24
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/MistaR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/MistaR20
Agustín Mista, Alejandro Russo:
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs. 25-46
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sfp/NausS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/NausS20
Nico Naus, Tim Steenvoorden:
Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution. 47-68

Debugging and Testing

- view
  authority control:
- export record
  dblp key:
  - conf/sfp/SharradC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/SharradC20
Joanna Sharrad, Olaf Chitil:
Scaling Up Delta Debugging of Type Errors - Category: Research. 71-93
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sfp/KantHC0CCDDGJSV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/KantHC0CCDDGJSV20
Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil J. Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova:
Flexible Formality Practical Experience with Agile Formal Methods. 94-120
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/PenaS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/PenaS20
Ricardo Peña, Jaime Sánchez-Hernández:
White-Box Path Generation in Recursive Programs. 121-135

Reasoning and Effects

- view
  authority control:
- export record
  dblp key:
  - conf/sfp/BereczkyHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/BereczkyHT20
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson:
A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. 139-158
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/KawaharaK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/KawaharaK20
Satoru Kawahara, Yukiyoshi Kameyama:
One-Shot Algebraic Effects as Coroutines. 159-179
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Janin20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Janin20
David Janin:
An Equational Modeling of Asynchronous Concurrent Programming. 180-203
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/SeynaevePS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/SeynaevePS20
Willem Seynaeve, Koen Pauwels, Tom Schrijvers:
State Will do. 204-225

Parallelism

- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Schiller20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Schiller20
Lukas Immanuel Schiller:
Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data. 229-248

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.