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

DOI10.1023/A:1010060315625MaRDI QIDQ1290329zbMATHWikidataFDO

Authors 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)

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

Cited in

(7)

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

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)