Stefan Wehr
where else to find them
what they talk about
all 5 in the filters
where they keep going back
- Erlang2 editions2024–2026
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study | Erlang 2026 | 2026-08-24 |
Etylizer, a static checker built on set-theoretic types, analyzes five years of student Erlang projects (≈4,600 functions after cleanup) and finds that only… | ||
| Same same but different: A Comparative Analysis of Static Type Checkers in Erlang | Erlang 2024 | 2024-09-02 |
Four static checkers (Dialyzer, Gradualizer, eqWAlizer, Etylizer) run against the union of their per-file test suites and show large disagreement: tools… | ||
| A Software Architecture Based on Coarse-Grained Self-Adjusting Computations | FUNARCH 2023 | 2023-09-08 |
A commercial health-record pipeline implements coarse-grained self-adjusting computations in Haskell to push precomputed UI models to web and mobile clients… | ||
| A Dictionary-Passing Translation of Featherweight Go | APLAS 2021 | 2021-10-17 |
Paper gives a dictionary-passing translation from Featherweight Go to a simple untyped functional target and claims it preserves dynamic behavior of programs… | ||
| nothing matches | ||