|
|
|
Volumn , Issue , 1992, Pages 299-310
|
|
Back to direct style II: First-class continuations
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTATIONAL GRAMMARS;
COMPUTATIONAL LINGUISTICS;
COMPUTER SOFTWARE;
FUNCTION EVALUATION;
PROGRAMMING THEORY;
CALL WITH CURRENT CONTINUATION (CALL/CC);
CONTINUATION PASSING STYLE (CPS) TRANSFORMATION;
COROUTINES;
COUNTING ANALYSIS;
DIRECT STYLE (DS) TRANSFORMATION;
GALOIS CONNECTION;
REWRITING RULES;
SCHEME PROGRAM;
SEMANTIC BASIS;
COMPUTER PROGRAMMING;
|
|
EID: 0026961055
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (32)
|
|
References (33)
|
