Pages that link to "Item:Q5310642"
From MaRDI portal
The following pages link to An Operational Foundation for Delimited Continuations in the CPS Hierarchy (Q5310642):
Displaying 13 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)
- Axioms for control operators in the CPS hierarchy (Q2464730) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- A Context-based Approach to Proving Termination of Evaluation (Q2805157) (← links)
- Inter-deriving Semantic Artifacts for Object-Oriented Programming (Q3511441) (← links)
- From Reduction-Based to Reduction-Free Normalization (Q3649133) (← links)
- (Q4603450) (← links)
- (Q4957787) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- (Q5111306) (← links)
- (Q5377471) (← links)
