Pages that link to "Item:Q5261274"
From MaRDI portal
The following pages link to A sound and complete axiomatization of delimited continuations (Q5261274):
Displayed 9 items.
- A type-theoretic foundation of delimited continuations (Q968364) (← links)
- On typing delimited continuations: Three new solutions to the printf problem (Q968365) (← links)
- Functional un\(|\)unparsing (Q1929354) (← links)
- A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
- Axioms for control operators in the CPS hierarchy (Q2464730) (← links)
- A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc (Q3179291) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- Verifying Selective CPS Transformation for Shift and Reset (Q5098734) (← links)
- (Q5377471) (← links)