whole-program optimization using a simply-typed, first-order intermediate language
ensures programs are not penalized for exploiting abstraction and modularity
Prev
Next