Pages that link to "Item:Q1290313"
From MaRDI portal
The following pages link to A syntactic theory of dynamic binding (Q1290313):
Displaying 11 items.
- Incremental rebinding with name polymorphism (Q737082) (← links)
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- A type-theoretic foundation of delimited continuations (Q968364) (← links)
- Delimited control and computational effects (Q2875223) (← links)
- Shifting the stage (Q2913928) (← links)
- Type safe incremental rebinding (Q2971056) (← links)
- Extending the lambda-calculus with unbind and rebind (Q3006163) (← links)
- Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction (Q3520166) (← links)
- (Q4580225) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- A calculus of open modules: call-by-need strategy and confluence (Q5756978) (← links)
