Pages that link to "Item:Q5370883"
From MaRDI portal
The following pages link to Type directed compilation of row-typed algebraic effects (Q5370883):
Displaying 15 items.
- Inferring algebraic effects (Q2921118) (← links)
- Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- (Q5089033) (← links)
- Effect handlers via generalised continuations (Q5110928) (← links)
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala (Q5110932) (← links)
- Doo bee doo bee doo (Q5110934) (← links)
- Continuation passing style for effect handlers (Q5111314) (← links)
- Local algebraic effect theories (Q5120228) (← links)
- Explicit effect subtyping (Q5120231) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- Sound and complete type inference for closed effect rows (Q6111455) (← links)
- Latent Effects for Reusable Language Components (Q6488151) (← links)
- A type system for effect handlers and dynamic labels (Q6535238) (← links)
- Signature restriction for polymorphic algebraic effects (Q6594243) (← links)