Pages that link to "Item:Q2958543"
From MaRDI portal
The following pages link to Axiomatizing Subtyped Delimited Continuations. (Q2958543):
Displaying 8 items.
- Axioms for recursion in call-by-value (Q1870494) (← links)
- Axioms for control operators in the CPS hierarchy (Q2464730) (← links)
- (Q4499270) (← links)
- (Q4603450) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- A sound and complete axiomatization of delimited continuations (Q5261274) (← links)
- Computer Science Logic (Q5311275) (← links)
- (Q5377471) (← links)