TY  - RPRT
TI  - Properly defining Erlang lists
AU  - Albert Schimpf
AU  - Stefan Wehr
AU  - Annette Bieniusa
PY  - 2026
UR  - https://arxiv.org/abs/2611.04929
ID  - 2611.04929
ER  -