Stefan Wehr

Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study

Erlang’s tooling ecosystem traditionally prioritizes flexibility over strict static guarantees, often leaving programming mistakes undetected until runtime. This is particularly acute in educational settings, where students accustomed to statically typed languages expect compiler-like feedback. Etylizer, a static type...