[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: CPS in Parrot




#: control delimiters. -- Matthias
On Wednesday, August 20, 2003, at 09:02 PM, David B. Tucker wrote:

>> Here are the equations:
>>
>>  # E{ F   v } = # v (\x.E{ x })
>>
>>  # E{ F+ v } =  v (\x.E{ x })
>>
>>  # E{ G/w  v } = v (w(E))
>>
>> E: evaluation contexts
>> v: function
>> x: variable
>> f(x): function application
>> \x.expression: (lambda (x) expression) in Scheme
>
> What are the '#'s?
>
> Dave