An introduction to Landin's ``A generalization of jumps and labels
From MaRDI portal
Publication:1290329
Recommendations
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)