@misc{indiciae6506facddf1f, title = {Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation}, author = {Albert Schimpf and Stefan Wehr and Annette Bieniusa}, year = {2026}, url = {https://arxiv.org/abs/2603.22032}, note = {Source identifier: 2603.22032} }