Changes between Version 32 and Version 33 of Supercompilation


Ignore:
Timestamp:
Jul 25, 2009 1:14:41 PM (5 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v32 v33  
    22 
    33This page is very much a draft and may be incorrect in places. Please fix problems that you spot. 
     4 
     5== Insights == 
     6 
     7* Looking for instances, instead of renamings, has implications with the global store. Do we want to fold append (append xs' ys) zs against append (append xs ys) zs (in rho) or append ys zs (in store). 
    48 
    59== Current status ==