Pages that link to "Item:Q5178020"
From MaRDI portal
The following pages link to A type-theoretic foundation of continuations and prompts (Q5178020):
Displaying 6 items.
- Combining algebraic effects with continuations (Q879352) (← links)
- A type-theoretic foundation of delimited continuations (Q968364) (← links)
- A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
- Axioms for control operators in the CPS hierarchy (Q2464730) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- Programming and Proving with Classical Types (Q5055999) (← links)
