[PLT logo] Comp 311: References on Jam Evaluation

The following examples show hand traces of the evaluation of Jam programs using various evaluation polices. The format follows the format used in hand evaluations of Scheme in Comp 210.

  • Sample call-by-value evaluation using explicit substitution
  • Sample call-by-name evaluation using explicit substitution
  • Sample call-by-value/lazy-cons evaluation using explicit substitution
  • Another sample call-by-value/lazy-cons evaluation using explicit substitution
  • Sample call-by-name/lazy-cons evaluation using explicit substitution
  • Another sample call-by-name/lazy-cons evaluation using explicit substitution