Optimising Typed Programs

In this note we present a set of optimisations for an intermediate lan-guage of a Standard ML compiler. Most of the optimisations presented are off-the-shelf optimisations, including dead code elimination, constant folding, recursive function specialization, in-lining and value propagation. All optimisations are presented in a typed setting.