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