Modularity vs. Efficiency
Goal: building systems that are
highly modular
correct
easy to adapt
fast to construct
How can we achieve this and attain efficiency?
Our approach:
   Types and explicitly staged computation