•A type of intensional expressions is a good model for
many forms of staged computation
•Intensional
Expression = Source Code
•Term =
Compiled Code
•Coerce
to programs by evaluation (abstractly)
•Analyze
and transform structurally
•In
contrast, programs (terms) can only be executed