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