SSA without Dominance for Higher-Order Programs. - Roland Leißa; Johannes Griebler (CoRR, 2026)