The following pages link to Linear continuation-passing (Q1870491):
Displaying 13 items.
- Preface to the special volume (Q534064) (← links)
- Existential continuation (Q1115643) (← links)
- Game semantics and linear CPS interpretation (Q1770417) (← links)
- Polarized games (Q1886321) (← links)
- Continuation-passing C, compiling threads to events through continuations (Q1929338) (← links)
- Linear forwarders (Q2384926) (← links)
- On the semantics of parsing actions (Q2441511) (← links)
- Axioms for control operators in the CPS hierarchy (Q2464730) (← links)
- LINCX: A Linear Logical Framework with First-Class Contexts (Q2988658) (← links)
- Enriching an Effect Calculus with Linear Types (Q3644752) (← links)
- (Q4002826) (← links)
- TUTORIAL ON CONTINUATION (Q4019517) (← links)
- Effect handlers via generalised continuations (Q5110928) (← links)