Pages that link to "Item:Q3150208"
From MaRDI portal
The following pages link to Monadic encapsulation of effects: a revised approach (extended version) (Q3150208):
Displaying 6 items.
- Lightweight Static Capabilities (Q2866337) (← links)
- Kleene Monads: Handling Iteration in a Framework of Generic Effects (Q2888474) (← links)
- Context-Free Session Type Inference (Q2988669) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)
- Syntax for Free: Representing Syntax with Binding Using Parametricity (Q3637185) (← links)
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala (Q5110932) (← links)