@misc{indiciae8ce96cd82da7, title = {Properly defining Erlang lists}, author = {Albert Schimpf and Stefan Wehr and Annette Bieniusa}, year = {2026}, url = {https://arxiv.org/abs/2611.04929}, note = {Source identifier: 2611.04929} }