Changes between Version 23 and Version 24 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 4:51:22 PM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v23 v24  
    128128 
    129129{{{ 
    130    [[ x :: T ]]   ==>   x :: Trace -> T     , if x is a function binding 
     130Declarations: 
     131 
     132   [[ x :: T ]]               ==>   x :: Trace -> T     , if x is a function binding 
    131133    
    132    [[ x :: T ]]   ==>   x :: T              , is x is a CAF binding 
     134   [[ x :: T ]]               ==>   x :: T              , is x is a CAF binding 
    133135 
    134136   [[ x = \y1 .. yn -> E ]]   ==>   x = \t y1 .. yn -> [[ E ]]_("x":t) 
     137 
     138Expressions: 
     139 
     140   [[ x ]]_t   ==>   x      , if x is either lambda bound, or a CAF. 
     141   
     142   [[ x ]]_t   ==>   x t    , if f is function bound 
     143 
     144   [[ k ]]_t     ==>   k 
     145 
     146   [[ E1 E2 ]]_t   ==>   [[ E1 ]] [[ E2 ]] 
     147 
     148   [[ let D1 .. Dn in E ]]_t   ==>   let [[ D1 ]] .. [[ Dn ]] in  [[ E ]]_t 
     149 
     150   [[ case E of A1 .. An ]]_t   ==>   case [[ E ]]_t of [[ A1 ]]_t .. [[ An ]]_t 
     151 
     152   [[ \y1 .. yn -> E ]]_t   ==>   \y1 .. yn -> [[ E ]]_t 
     153 
     154Alternatives: 
     155 
     156   [[ p -> E ]]_t   ==>   p -> [[ E ]]_t  
    135157}}} 
    136158