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 ==