Go backward to Parameter Domains Go up to Top Go forward to Parameterized Type Expressions |
Value of actual parameter is calculated before its binding to the formal parameter.D[[proc I1(I2) = C]] = lambda e.lambda s. ((updateenv [[I1]]
Value of actual parameter need be calculated only upon its use in the procedure body.
Questions for all parameter domains.