Pages that link to "Item:Q2495550"
From MaRDI portal
The following pages link to On the static and dynamic extents of delimited continuations (Q2495550):
Displayed 5 items.
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- Refunctionalization at work (Q923881) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- (Q5377471) (← links)