Pages that link to "Item:Q5741569"
From MaRDI portal
The following pages link to An extensible approach to session polymorphism (Q5741569):
Displaying 5 items.
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- \( \pi\) with leftovers: a mechanisation in Agda (Q2117018) (← links)
- (Q5851864) (← links)
- Globally Governed Session Semantics (Q5891114) (← links)