Continuations revisited

DOI10.1023/A:1010074329461zbMath0951.68077OpenAlexW2912051406MaRDI QIDQ1566885

Christopher P. Wadsworth

Publication date: 4 June 2000

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1010074329461

zbMATH Keywords

jumpsmathematical semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items

Peter J. Landin (1930--2009), A syntactic correspondence between context-sensitive calculi and abstract machines, Continuation-passing C, compiling threads to events through continuations, On one-pass CPS transformations, CPS transformation of beta-redexes