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

DOI10.1023/A:1010060315625zbMATH Open0934.68035WikidataQ56771009 ScholiaQ56771009MaRDI QIDQ1290329FDOQ1290329

Authors: Hayo Thielecke 

Publication date: 31 May 1999

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

Recommendations

• Reflections on Landin's J-operator: A partly historical note
• A generalization of jumps and labels
• A Rational Deconstruction of Landin’s J Operator
• Continuations revisited
• A Rational Deconstruction of Landin's SECD Machine with the J Operator

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (7)

• A syntactic correspondence between context-sensitive calculi and abstract machines
• Delimited control operators prove double-negation shift
• An introduction to Landin's ``Getting rid of labels
• The Peter Landin prize
• Peter J. Landin (1930--2009)
• Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1290329)