Pages that link to "Item:Q2942920"
From MaRDI portal
The following pages link to From control effects to typed continuation passing (Q2942920):
Displaying 5 items.
- On typing delimited continuations: Three new solutions to the printf problem (Q968365) (← links)
- On the semantics of parsing actions (Q2441511) (← links)
- Axioms for control operators in the CPS hierarchy (Q2464730) (← links)
- Completeness of continuation models for \(\lambda_\mu\)-calculus (Q2506496) (← links)
- ANF preserves dependent types up to extensional equality (Q5051989) (← links)
