< reduction > An evaluation strategy , described in [Traub, FPCA 89], under which all redex es are evaluated in parallel except inside the arms of conditionals and inside lambda abstractions . Lenient evaluation is an example of an eager evaluation strategy.
(2004-01-22)