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