Pages that link to "Item:Q6156625"
From MaRDI portal
The following pages link to Algebraic effects for extensible dynamic semantics (Q6156625):
Displaying 6 items.
- Dynamic evaluation and algebraic closure in Axiom (Q1906927) (← links)
- One-shot algebraic effects as coroutines (Q2037431) (← links)
- The enriched effect calculus: syntax and semantics (Q2937687) (← links)
- Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
- (Q3809233) (← links)
- Efficient algebraic effect handlers for Prolog (Q4593065) (← links)