TY  - RPRT
TI  - Invertible Syntax without the Tuples (Functional Pearl)
AU  - Mathieu Boespflug
AU  - Arnaud Spiwack
PY  - 2025
DO  - 10.1145/3759427.3760381
UR  - https://arxiv.org/abs/2508.09856
ID  - 2508.09856
ER  -