Author

Annette Bieniusa

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Aug 2026

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...

Albert Schimpf, Stefan Wehr, Annette Bieniusa · Proceedings of the 25th ACM... · 0 citations

Open access Aug 2026

Set-Theoretic Types for Erlang in Practice (Experience Report)

Set-theoretic type connectives with their native support for union, intersection, and negation have the potential to capture the idioms of dynamically typed languages like Erlang. We investigate whether this theoretical expressiveness translates into practice: does the resulting type solver remain tractable on real-wor...

Albert Schimpf, Annette Bieniusa · Proc. ACM Program. Lang. · 1 citation