Wenhao Tang
where else to find them
no profile links on file
what they talk about
where they keep going back
all 4 in the filters
on a stage with
all 13 in the filters
who talks about the same things
- Daniel Hillerström11 talks
- Sam Lindley27 talks
- Jonathan Immanuel Brachthäuser22 talks
- Anton Lorenzen8 talks
- Stephen Dolan13 talks
- Philipp Schuster13 talks
| title | conference | date |
|---|---|---|
| Higher-order fork, modally | HOPE 2026 | 2026-08-24 |
Proposes a small Met extension that types a higher-order fork without effect variables by adding order-sensitive effect contexts and a notion of higher-order… | ||
| Rows and Capabilities as Modal Effects | POPL 2026 | 2026-01-11 |
Claims a uniform framework that encodes row-based (Koka-style) and capability-based (Eff-style) effect systems into a modal-effect core, using modalities… | ||
| Freezing Bidirectional Typing (Extended Abstract) | ML 2025 | 2025-11-24 |
Frost implements bidirectional information flow between function and argument types, using skeletons with ghosts to pass partial type shapes both ways; a… | ||
| 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… | ||
| Rows and Capabilities as Modal Effects | HOPE 2025 | 2025-10-12 |
Effect systems for handlers get a concrete bridge: a multimodal target MX encodes Koka-style row effects by translating each annotated arrow to an absolute… | ||
| 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… | ||
| nothing matches | ||