David Voigt

dblp:426/2846 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
1since 2021 · last 2025
0009-0003-0140-6379ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems › control operators
continuations
0.912025
Dynamic Wind for Effect Handlers · Proc. ACM Program. Lang. 2025
Programming languages and type systems › control operators
delimited control
0.912025
Dynamic Wind for Effect Handlers · Proc. ACM Program. Lang. 2025
Programming languages and type systems › control operators
dynamic-wind
0.912025
Dynamic Wind for Effect Handlers · Proc. ACM Program. Lang. 2025
Programming languages and type systems › computational effects › algebraic effects
effect handlers
0.912025
Dynamic Wind for Effect Handlers · Proc. ACM Program. Lang. 2025
Programming languages and type systems
language design
0.912025
Dynamic Wind for Effect Handlers · Proc. ACM Program. Lang. 2025
Programming languages and type systems
language semantics
0.912025
Dynamic Wind for Effect Handlers · Proc. ACM Program. Lang. 2025

Methods — techniques the papers use, named apart from their topics

lexical effect handlers · 0.9formalization · 0.9
YearPublicationVenuePosition
2025 Dynamic Wind for Effect Handlers
abstract
Effect handlers offer an attractive way of abstracting over effectful computation. Moreover, languages with effect handlers usually statically track effects, which ensures the user is aware of all side effects different parts of a program might have. Similarly to exception handlers, effect handlers discharge effects by locally defining their behavior. In contrast to exception handlers, they allow for resuming computation, possibly later and possibly multiple times. In this paper we present a design, formalization, and implementation for a variant of dynamic wind that integrates well with lexical effect handlers. It has well-defined semantics in the presence of arbitrary control effects in arbitrary places. Specifically, the behavior of capturing and resuming continuations in the pre- or postlude is well-defined and respects resource bracketing. We demonstrate how these features can be used to express backtracking of external state and finalization of external resources.
David Voigt, Philipp Schuster, Jonathan Immanuel Brachthäuser
Proc. ACM Program. Lang.1