MLton's Approach

• whole-program optimization using a simply-typed, first-order intermediate language

• ensures programs are not penalized for exploiting abstraction and modularity