Pages that link to "Item:Q1044694"
From MaRDI portal
The following pages link to On the dynamic extent of delimited continuations (Q1044694):
Displaying 5 items.
- On the dynamic extent of delimited continuations (Q1044694) (← links)
- Axioms for control operators in the CPS hierarchy (Q2464730) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- On the static and dynamic extents of delimited continuations (Q2495550) (← links)
- A sound and complete axiomatization of delimited continuations (Q5261274) (← links)