An introduction to Landin's ``A generalization of jumps and labels

DOI10.1023/A:1010060315625zbMath0934.68035MaRDI QIDQ1290329

Hayo Thielecke

Publication date: 31 May 1999

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (6)

Peter J. Landin (1930--2009) ⋮ An introduction to Landin's ``Getting rid of labels ⋮ A syntactic correspondence between context-sensitive calculi and abstract machines ⋮ 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

This page was built for publication: An introduction to Landin's ``A generalization of jumps and labels