![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
21st TFP 2020: Krakow, Poland
- 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
- Ruben P. Pieters
, Tom Schrijvers
:
PaSe: An Extensible and Inspectable DSL for Micro-Animations. 3-24 - Agustín Mista
, Alejandro Russo
:
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs. 25-46 - Nico Naus
, Tim Steenvoorden
:
Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution. 47-68
Debugging and Testing
- Joanna Sharrad
, Olaf Chitil
:
Scaling Up Delta Debugging of Type Errors - Category: Research. 71-93 - 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 - Ricardo Peña
, Jaime Sánchez-Hernández
:
White-Box Path Generation in Recursive Programs. 121-135
Reasoning and Effects
- Péter Bereczky
, Dániel Horpácsi
, Simon J. Thompson
:
A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. 139-158 - Satoru Kawahara, Yukiyoshi Kameyama:
One-Shot Algebraic Effects as Coroutines. 159-179 - David Janin
:
An Equational Modeling of Asynchronous Concurrent Programming. 180-203 - Willem Seynaeve, Koen Pauwels, Tom Schrijvers
:
State Will do. 204-225
Parallelism
- Lukas Immanuel Schiller
:
Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data. 229-248
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.