The following pages link to Typing Copyless Message Passing (Q5892489):
Displayed 5 items.
- Session types without sophistry. System description (Q2039935) (← links)
- Mixed sessions (Q2055956) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Mixed Sessions (Q5041119) (← links)
- Deriving session and union types for objects (Q5410236) (← links)