Changes between Version 46 and Version 47 of Supercompilation


Ignore:
Timestamp:
Aug 11, 2009 1:13:18 PM (6 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v46 v47  
    22 
    33This page is very much a draft and may be incorrect in places. Please fix problems that you spot. 
     4 
     5== Lambda lifting == 
     6 
     7* We lambda lift to avoid re-specialising the same local function in two different branches: letrec g = .. in (f1 (g x), f2 (g x)) 
    48 
    59== Problems ==