The following pages link to A calculus of coroutines (Q817847):
Displaying 8 items.
- Imperative programs as proofs via game semantics (Q388203) (← links)
- A core calculus for correlation in orchestration languages (Q861302) (← links)
- Analysis of vectors of coroutines by means of trees (Q1079006) (← links)
- A core calculus for dynamic delta-oriented programming (Q1647772) (← links)
- One-shot algebraic effects as coroutines (Q2037431) (← links)
- Guarded and unguarded coroutines: An implementation in BCPL (Q3314959) (← links)
- (Q3341875) (← links)
- Automata, Languages and Programming (Q5466522) (← links)