Pages that link to "Item:Q5890072"
From MaRDI portal
The following pages link to On the transformation between direct and continuation semantics (Q5890072):
Displaying 6 items.
- Continuation semantics for flowgraph equations (Q1080651) (← links)
- Direct semantics and exceptions define jumps and coroutines (Q1824407) (← links)
- Deriving proof rules from continuation semantics (Q1974480) (← links)
- A functional correspondence between call-by-need evaluators and lazy abstract machines (Q2390256) (← links)
- (Q4499270) (← links)
- A Selective CPS Transformation (Q4917063) (← links)