Pages that link to "Item:Q5372003"
From MaRDI portal
The following pages link to No value restriction is needed for algebraic effects and handlers (Q5372003):
Displaying 5 items.
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
- Continuation passing style for effect handlers (Q5111314) (← links)
- Local algebraic effect theories (Q5120228) (← links)
- A type system for effect handlers and dynamic labels (Q6535238) (← links)
- Signature restriction for polymorphic algebraic effects (Q6594243) (← links)