Changes between Version 2 and Version 3 of Supercompilation

Show
Ignore:
Timestamp:
07/02/09 00:09:59 (4 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Supercompilation

    v2 v3  
    2727 
    2828 *) Should R contexts include let-statements?  
     29 
    2930 *) Should matching for renamings be modulo permutation of lets? (Performance vs code size)