call-by-name call-by-value by-name by-value definitions def termination expressions Boolean expressions conditional expressions
by-name by-value termination evaluation conditional expressions if-else
call-by-name call-by-value by-name by-value definitions termination expressions Boolean expressions evaluation conditional expressions