A generalization of jumps and labels
From MaRDI portal
Publication:1290331
DOI10.1023/A:1010068630801zbMath0934.68036WikidataQ54002421 ScholiaQ54002421MaRDI QIDQ1290331
Publication date: 31 May 1999
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
68N18: Functional programming and lambda calculus
Related Items
An introduction to Landin's ``Getting rid of labels, Peter J. Landin (1930--2009), A syntactic correspondence between context-sensitive calculi and abstract machines, Types as graphs: Continuations in type logical grammar, On the call-by-value CPS transform and its semantics