lenient evaluation

(reduction)   An evaluation strategy, described in [Traub, FPCA 89], under which all redexes are evaluated in parallel except inside the arms of conditionals and inside lambda abstractions. Lenient evaluation is an example of an eager evaluation strategy.

Last updated: 2004-01-22


Loading