The following pages link to Matija Pretnar (Q478395):
Displayed 13 items.
- Programming with algebraic effects and handlers (Q478396) (← links)
- Explicit effect subtyping (Q2323981) (← links)
- Handling Algebraic Effects (Q2871476) (← links)
- Inferring Algebraic Effects (Q2921118) (← links)
- Handlers of Algebraic Effects (Q3617692) (← links)
- Local algebraic effect theories (Q5120228) (← links)
- Explicit effect subtyping (Q5120231) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- (Q5738664) (← links)
- (Q5738667) (← links)
- An Effect System for Algebraic Effects and Handlers (Q5891182) (← links)
- An Effect System for Algebraic Effects and Handlers (Q5892064) (← links)
- An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)