TY  - RPRT
TI  - Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
AU  - Albert Schimpf
AU  - Stefan Wehr
AU  - Annette Bieniusa
PY  - 2026
UR  - https://arxiv.org/abs/2603.22032
ID  - 2603.22032
ER  -