Pages that link to "Item:Q1127514"
From MaRDI portal
The following pages link to A lambda-calculus for dynamic binding (Q1127514):
Displaying 15 items.
- A new approach to abstract syntax with variable binding (Q699761) (← links)
- Incremental rebinding with name polymorphism (Q737082) (← links)
- On the classification of binding mechanisms (Q910205) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Automatic binding time analysis for a typed \(\lambda\)-calculus (Q1107512) (← links)
- A syntactic theory of dynamic binding (Q1290313) (← links)
- A core calculus for dynamic delta-oriented programming (Q1647772) (← links)
- The abstract variable-binding calculus (Q1896759) (← 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)
- Labelled reductions, runtime errors, and operational subsumption (Q4572006) (← links)
- (Q4580225) (← links)
- Theoretical Computer Science (Q5897367) (← links)
- A typed context calculus (Q5958759) (← links)