Talk Outline
Motivation
Explicit Staging and Types
Assessment
Ô Summary and Future Work