Pages that link to "Item:Q2495550"
From MaRDI portal
The following pages link to On the static and dynamic extents of delimited continuations (Q2495550):
Displaying 8 items.
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- Refunctionalization at work (Q923881) (← links)
- On the dynamic extent of delimited continuations (Q1044694) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- A sound and complete axiomatization of delimited continuations (Q5261274) (← links)
- An Operational Foundation for Delimited Continuations in the CPS Hierarchy (Q5310642) (← links)
- (Q5377471) (← links)