Changes between Version 18 and Version 19 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 4:36:02 PM (7 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v18 v19  
    103103might pass one stack argument for every regular argument of the function. 
    104104 
     105{{{ 
     106   [[ x :: T ]]   ==>   x :: Trace -> T     , if x is a function binding 
     107    
     108   [[ x :: T ]]   ==>   x :: T              , is x is a CAF binding 
     109}}} 
     110 
    105111Attached in a pdf are the beginnings of some transformation rules to consider.