The following pages link to Affine sessions (Q4558783):
Displaying 7 items.
- Effects as sessions, sessions as effects (Q2828297) (← links)
- Assembling Sessions (Q3172919) (← links)
- Affine sessions (Q4558783) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- MAG\(\pi\): types for failure-prone communication (Q6535245) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)
- Resource sharing via capability-based multiparty session types (Q6536357) (← links)