The following pages link to (Q4680357):
Displaying 7 items.
- Call-by-push-value: Decomposing call-by-value and call-by-name (Q857915) (← links)
- Infinite trace equivalence (Q2474445) (← links)
- A theory of effects and resources: adjunction models and polarised calculi (Q2828243) (← links)
- Adjunction models for call-by-push-value with stacks (Q2842825) (← links)
- Monads and adjunctions for global exceptions (Q2851326) (← links)
- Enriching an Effect Calculus with Linear Types (Q3644752) (← links)
- Global State Considered Helpful (Q5415641) (← links)