Constructing Call-by-Value Continuation Semantics
From MaRDI portal
Publication:3935455
DOI10.1145/322203.322216zbMath0477.68023OpenAlexW1976711789MaRDI QIDQ3935455
Publication date: 1980
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/322203.322216
denotational semanticsreflexive domainscontinuation semanticsdirect semanticsdirected complete relationsinclusive predicates
Related Items