TY  - RPRT
TI  - Typed Flexible-Arity Slotted E-Graphs: A Soundness Construction and an Alloy Case Study
AU  - Guanxuan Wu
AU  - Allison Sullivan
PY  - 2026
UR  - https://arxiv.org/abs/2609.03998
ID  - 2609.03998
ER  -