| |
| | Unlambda in K |
 | | That is, the new current character is the old current character, the new data stack is the old data stack, and the new instruction stack is d[G],H, the result of calling 'd' with unevaluated G, the first complete expression on the instruction stack, prepended to the rest of the instruction stack. |
 | | That is, the new instruction stack is created by replacing X with the result of applying 'c' to X (the function on which call-with-current-continuation is to be called) and the current continuation, and prepending the result to Y, the rest of the instruction stack. |
 | | The current continuation is a K dictionary (following the Unlambda convention, we shall write it '') with a single entry, 'c'. |
| www.nsl.com /papers/unlambda.htm (3629 words) |
|