Dynamic SemanticsΒΆ

  • Running Programs
  • Operational Semantics
  • Partial Evaluation
  • Frames