A generalization of jumps and labels

DOI10.1023/A:1010068630801zbMath0934.68036OpenAlexW1543726080WikidataQ54002421 ScholiaQ54002421MaRDI QIDQ1290331

Peter J. Landin

Publication date: 31 May 1999

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

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

zbMATH Keywords

functional programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (9)

On the call-by-value CPS transform and its semantics ⋮ Peter J. Landin (1930--2009) ⋮ An introduction to Landin's ``Getting rid of labels ⋮ A syntactic correspondence between context-sensitive calculi and abstract machines ⋮ Automated temporal verification for algebraic effects ⋮ Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control ⋮ Delimited control operators prove double-negation shift ⋮ Comparing Control Constructs by Double-barrelled CPS Transforms ⋮ Types as graphs: Continuations in type logical grammar

This page was built for publication: A generalization of jumps and labels