TY  - RPRT
TI  - SSA without Dominance for Higher-Order Programs
AU  - Roland Leißa
AU  - Johannes Griebler
PY  - 2026
DO  - 10.1145/3808286
UR  - https://arxiv.org/abs/2604.09961
ID  - 2604.09961
ER  -