Pages that link to "Item:Q3535678"
From MaRDI portal
The following pages link to Bounded polymorphism in session types (Q3535678):
Displayed 5 items.
- Objects and session types (Q1021571) (← links)
- Subtyping Supports Safe Session Substitution (Q3188281) (← links)
- Linear type theory for asynchronous session types (Q5189644) (← links)
- Deriving session and union types for objects (Q5410236) (← links)
- An extensible approach to session polymorphism (Q5741569) (← links)