Albert Schimpf
where else to find them
no profile links on file
what they talk about
where they keep going back
- Erlang2 editions2024–2026
on a stage with
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… | ||
| nothing matches | ||