Pages that link to "Item:Q1290331"
From MaRDI portal
The following pages link to A generalization of jumps and labels (Q1290331):
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)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
