Changes between Version 20 and Version 21 of ExplicitCallStack

Show
Ignore:
Timestamp:
01/29/07 08:41:13 (6 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ExplicitCallStack

    v20 v21  
    103103might pass one stack argument for every regular argument of the function. 
    104104 
     105The notation: 
     106 
     107{{{ 
     108   [[ E ]]_k 
     109}}} 
     110 
     111for some k, means transform the expression E, with stack value k.  
     112 
    105113{{{ 
    106114   [[ x :: T ]]   ==>   x :: Trace -> T     , if x is a function binding