One-Shot Algebraic Effects as Coroutines
Gespeichert in:
| Veröffentlicht in: | TFP (21. : 2020 : Krakau) Trends in functional programming |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2020
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data | 2020 | Schiller, Lukas Immanuel |
| A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang | 2020 | Bereczky, Peter |
| Scaling Up Delta Debugging of Type Errors | 2020 | Sharrad, Joanna |
| One-Shot Algebraic Effects as Coroutines | 2020 | Kawahara, Satoru |
| State Will do | 2020 | Seynaeve, Willem |
| An Equational Modeling of Asynchronous Concurrent Programming | 2020 | Janin, David |
| PaSe: An Extensible and Inspectable DSL for Micro-Animatıons | 2020 | Pieters, Ruben P. |
| BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs | 2020 | Mista, Agustín |
| Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution | 2020 | Naus, Nico |
| Flexible Formality Practical Experience with Agile Formal Methods | 2020 | Kant, Philipp |
| White-Box Path Generation in Recursive Programs | 2020 | Pena, Ricardo |