Pages that link to "Item:Q1290331"
From MaRDI portal
The following pages link to A generalization of jumps and labels (Q1290331):
Displaying 12 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)
- Getting rid of labels (Q604864) (← links)
- Peter J. Landin (1930--2009) (Q848746) (← links)
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- An introduction to Landin's ``A generalization of jumps and labels'' (Q1290329) (← links)
- Iteration and labelled iteration (Q1744383) (← links)
- On the call-by-value CPS transform and its semantics (Q1887170) (← links)
- Comparing Control Constructs by Double-barrelled CPS Transforms (Q4917068) (← links)
- Short Labels by Traversal and Jumping (Q5901482) (← links)