parameters functions call-by-name call-by-value
parameters functions call-by-name
call-by-name call-by-value
call-by-name call-by-value by-name by-value definitions def termination expressions Boolean expressions conditional expressions
call-by-name call-by-value by-name by-value definitions termination expressions Boolean expressions evaluation conditional expressions