Pages that link to "Item:Q1290329"
From MaRDI portal
The following pages link to An introduction to Landin's ``A generalization of jumps and labels'' (Q1290329):
Displaying 6 items.
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← links)
- An introduction to Landin's ``Getting rid of labels'' (Q604862) (← links)
- Peter J. Landin (1930--2009) (Q848746) (← links)
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- Comparing Control Constructs by Double-barrelled CPS Transforms (Q4917068) (← links)
