evaluation strategy where the arguments to a function are not evaluated before the function is called, but substituted directly into the function body and left to be evaluated whenever they appear in the function