Syntax
Statics
Dynamics
Analysis
Synthesis
Running Programs Operational Semantics Partial Evaluation Frames