Go backward to Abstractions Go up to Top Go forward to Command Abstracts

Abstractions

Abstract [[define I=V]].

• Name [[I]].
• Body [[V]].
• Denotable value V[[V]].
• Question: when is body evaluated?
  • At point of definition?
  • At point of invocation?