|
|
Volumn , Issue , 1990, Pages 161-175
|
|
Reasoning with continuations II. Full abstraction for models of control
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER METATHEORY;
COMPUTATIONAL LINGUISTICS;
LISP (PROGRAMMING LANGUAGE);
CONTINUATIONS;
CONTROL STRUCTURES;
FUNCTIONAL PROGRAMMING LANGUAGES;
ABSTRACT MODELING;
CONTROL STRUCTURE;
DIRECT MODEL;
ERROR VALUES;
FULL ABSTRACTION;
FUNCTIONAL LANGUAGES;
HIGHER ORDER CONTROLS;
OPERATIONAL BEHAVIOR;
COMPUTER PROGRAMMING LANGUAGES;
FUNCTIONAL PROGRAMMING;
|
|
EID: 0025532153
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/91556.91626 Document Type: Conference Paper |
|
Times cited : (33)
|
|
References (28)
|
