Continuations: A mathematical semantics for handling full jumps
From MaRDI portal
Publication:1566886
DOI10.1023/A:1010026413531zbMath0951.68078MaRDI QIDQ1566886
Christopher Strachey, Christopher P. Wadsworth
Publication date: 4 June 2000
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Related Items
On one-pass CPS transformations, A syntactic correspondence between context-sensitive calculi and abstract machines, A syntactic theory of sequential control, A guided tour of the mathematics of MetaSoft '88, The congruence of two programming language definitions, Call-by-name, call-by-value and the \(\lambda\)-calculus, PASCAL in LCF: Semantics and examples of proof, On an equivalence between continuation and stack semantics, Direct semantics and exceptions define jumps and coroutines, On the call-by-value CPS transform and its semantics, State-transition machines for lambda-calculus expressions, A static simulation of dynamic delimited control, Investigations on the dual calculus