Daniel Hillerström
where else to find them
mastodon:@dhil@mathstodon.xyz
what they talk about
all 4 in the filters
where they keep going back
all 5 in the filters
on a stage with
all 23 in the filters
who talks about the same things
- Sam Lindley27 talks
- Wenhao Tang8 talks
- Jonathan Immanuel Brachthäuser22 talks
- Philipp Schuster13 talks
- Matija Pretnar4 talks
- Klaus Ostermann14 talks
| title | conference | date |
|---|---|---|
| Modal Effect Types | OOPSLA 2025 | 2025-10-16 |
Replaces pervasive effect variables with an ambient effect context and explicit modalities so higher‑order library signatures no longer need ubiquitous effect… | ||
| Continuing Stack Switching in Wasmtime | WAW 2025 | 2025-01-20 |
Implements the WebAssembly stack switching proposal in Wasmtime by prototyping with the existing Wasmtime-fiber hand‑written assembly library and runtime FFI… | ||
| Stack Switching in WebAssembly with Effect Handlers | WAW 2024 | 2024-01-15 |
Proposes a Wasm extension, WasmFX, that models stacks as continuations and adds three core instructions to create, suspend and resume them. Provides a formal… | ||
| Soundly Handling Linearity | POPL 2024 | 2024-01-14 |
This work introduces control-flow linearity, formalizes it in a System F-style core calculus Feff∘ with linear types and effect handlers, and gives a… | ||
| Structural Subtyping as Parametric Polymorphism | OOPSLA 2023 | 2023-10-23 |
Compares structural subtyping for records and variants with row and presence polymorphism and gives compositional translations that preserve types and… | ||
| Continuing WebAssembly with Effect Handlers | OOPSLA 2023 | 2023-10-23 |
WasmFX extends WebAssembly with WasmFX adds three instructions to create, suspend and resume continuations and with typed one-shot continuations that fit… | ||
| Student research contest talks | ICFP 2023 | 2023-09-04 |
Six five-minute student reports present concrete artifacts and results: a semantics for higher-order hardware descriptions with a normalization theorem and… | ||
| Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming | ML 2021 | 2021-08-26 |
Implements a miniature UNIX in Links using algebraic effect handlers: defines a write operation and a basic_io handler that returns the accumulated file as a… | ||
| Full Workshop | ML 2021 | 2021-08-26 |
A fast tour of research tools and case studies from ML 2021: a running effect-handler Unix model that composes write/exit/su/fork/interrupt handlers and… | ||
| Effect Handlers, Evidently | ICFP 2020 | 2020-08-23 |
Presents an evidence-passing translation that elaborates polymorphic algebraic effects into polymorphic lambda calculus, with a proof of soundness and… | ||
| Effects for Efficiency: Asymptotic Speedup with First-Class Control | ICFP 2020 | 2020-08-23 |
Claim: first-class control gives a real asymptotic advantage. The authors implement a generic count with effect handlers that visits each edge of an N-depth… | ||
| nothing matches | ||