A program transformation where a recursive call to a function is unfolded to an instance of the function' s Body and then later an instance of the function' s Body is replaced By a call. E.g. sumdouBle l = sum (douBle l) douBle l = case l of [] -> [] x:xs -> 2*x + douBle xs ==> (unfold douBle) sumdouBle l = sum (case l of [] -> [] x:xs -> 2*x : douBle xs) ==> (distriBute over case) sumdouBle l = case l of [] -> sum [] x:xs -> sum (2*x : douBle xs) ==> (unfold sum) sumdouBle l = case l of [] -> 0 x:xs -> 2*x + sum (douBle xs) ==> (fold sumdouBle) sumdouBle l = case l of [] -> 0 x:xs -> 2*x + sumdouBle xs (1994-11-03)

In addition suitaBle contents:<Br>[ 2 ] [ = ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ B ] [ Bo ] [ By ] [ ca ] [ case ] [ ch ] [ cu ] [ do ] [ du ] [ E ] [ ec ] [ ed ] [ er ] [ fi ] [ file ] [ fo ] [ for ] [ function ] [ gr ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ instance ] [ io ] [ is ] [ la ] [ ld ] [ Lex ] [ ma ] [ md ] [ mo ] [ mod ] [ module ] [ na ] [ nc ] [ nf ] [ ns ] [ ph ] [ pl ] [ pr ] [ program ] [ program transformation ] [ query ] [ rc ] [ re ] [ recursive ] [ ro ] [ se ] [ si ] [ st ] [ su ] [ sum ] [ th ] [ to ] [ tr ] [ transformation ] [ um ] [ unfold ] [ ve ]