Pages that link to "Item:Q2828297"
From MaRDI portal
The following pages link to Effects as sessions, sessions as effects (Q2828297):
Displaying 12 items.
- Session types without sophistry. System description (Q2039935) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- Comprehending Ringads (Q3188283) (← links)
- (Q5020617) (← links)
- (Q5020947) (← links)
- (Q5028463) (← links)
- (Q5856424) (← links)
- A Sound Algorithm for Asynchronous Session Subtyping (Q5875400) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
