Pages that link to "Item:Q1004058"
From MaRDI portal
The following pages link to Amalgamating sessions and methods in object-oriented languages with generics (Q1004058):
Displaying 7 items.
- Objects and session types (Q1021571) (← links)
- Session types revisited (Q2407105) (← links)
- Algorithmic type checking for a pi-calculus with name matching and session types (Q2436508) (← links)
- On projecting processes into session types (Q2883119) (← links)
- Linear type theory for asynchronous session types (Q5189644) (← links)
- Deriving session and union types for objects (Q5410236) (← links)
- Linearity, session types and the Pi calculus (Q5741562) (← links)
