Lambda the Ultimate SSA: Optimizing Functional Programs in SSA

Siddharth Bhat, Tobias Grosser

Static Single Assignment (SSA) is the workhorse of modern optimizing compilers for imperative programming languages. However, functional languages have been slow to adopt SSA and p…