TY  - RPRT
TI  - Set-theoretic Types for Erlang
AU  - Albert Schimpf
AU  - Stefan Wehr
AU  - Annette Bieniusa
PY  - 2023
DO  - 10.1145/3587216.3587220
UR  - https://arxiv.org/abs/2302.12783
ID  - 2302.12783
ER  -