Pages that link to "Item:Q2942885"
From MaRDI portal
The following pages link to Algebraic foundations for effect-dependent optimisations (Q2942885):
Displaying 8 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
- Counting Successes: Effects and Transformations for Non-deterministic Programs (Q3188280) (← links)
- (Q5002829) (← links)
- (Q5089251) (← links)
- Local algebraic effect theories (Q5120228) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)
