The following pages link to Typing copyless message passing (Q5891509):
Displaying 10 items.
- Multiparty session types, beyond duality (Q1647963) (← links)
- Mixed sessions (Q2055956) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Nested session types (Q2233456) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- Exception handling for copyless messaging (Q2441510) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- (Q4855342) (← links)
- Mixed Sessions (Q5041119) (← links)
- A simple library implementation of binary sessions (Q5371999) (← links)