Pages that link to "Item:Q3150208"
From MaRDI portal
The following pages link to Monadic encapsulation of effects: a revised approach (extended version) (Q3150208):
Displayed 5 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)