The following pages link to Computer Science Logic (Q5311275):
Displaying 7 items.
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- Axioms for control operators in the CPS hierarchy (Q2464730) (← links)
- Axiomatizing Subtyped Delimited Continuations. (Q2958543) (← links)
- (Q4806298) (← links)
- (Q5079752) (← links)
- A sound and complete axiomatization of delimited continuations (Q5261274) (← links)
- An Operational Foundation for Delimited Continuations in the CPS Hierarchy (Q5310642) (← links)