Partial Evaluation
Requires different type system based on
temporal logic
OA — A at the next stage of computation
Captures traditional binding-time analysis
precisely and logically
[Davies ‘96]