The following pages link to Linear continuation-passing (Q1870491):
Displaying 9 items.
- Preface to the special volume (Q534064) (← links)
- Game semantics and linear CPS interpretation (Q1770417) (← links)
- Polarized games (Q1886321) (← links)
- Continuation-passing C, compiling threads to events through continuations (Q1929338) (← 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)
- Effect handlers via generalised continuations (Q5110928) (← links)