The words contained in this file might help you see if this file matches what you are looking for:

...Sicp normal order lazy evaluation alternative models for computation applicative evaluate all arguments then apply operator memoization streams pass unevaluated expression to function only when needed primitive operation vs define foo x write line inside try a b if begin eval arg pi this many digits we first evaluated argument substituted value into the as body of procedure in exercise problem with how can implement why cant use any special form l env changed cond e g safe that divide list values unless pred usual exc compound sequence extend environment parameters delayed args else error unknown proc thunks delay it and force abstractly thunk is promise return exp later forced obj tagged cadr concretely our caddr representation actual evalexp now leave no vers memo izing returns t an reevaluate each time used language f once...