(CBV) An evaluation strategy where arguments are evaluated before the function
or procedure is entered. Only the values of the arguments are passed and changes
to the arguments within the called procedure have no effect on the actual
arguments as seen by the caller. See applicative order reduction,
call-by-value-result, strict evaluation, call-by-name, lazy evaluation.
call-by-name « call-by-need « call-by-reference «
call-by-value » call-by-value-result » call/cc »