1 paper
Jad Elkhaleq Ghalayini, Neel Krishnaswami
Static single assignment form, or SSA, has been the dominant compiler intermediate representation for decades. In this paper, we give a type theory for a variant of SSA, including…