TY  - RPRT
TI  - Semantic Subtyping for Maps in Erlang
AU  - Erdem Yildirim
AU  - Albert Schimpf
AU  - Stefan Wehr
AU  - Annette Bieniusa
PY  - 2025
UR  - https://arxiv.org/abs/2508.00482
ID  - 2508.00482
ER  -