The following pages link to Fundamentals of session types (Q714736):
Displayed 22 items.
- Fundamentals of session types (Q714736) (← links)
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Mixed sessions (Q2055956) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- A calculus for modeling floating authorizations (Q2329444) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- Session types revisited (Q2407105) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Honesty by Typing (Q2974791) (← links)
- (Q4558783) (← links)
- (Q5013868) (← links)
- (Q5028463) (← links)
- Mixed Sessions (Q5041119) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- (Q5094146) (← links)
- (Q5141618) (← links)
- Linearity, session types and the Pi calculus (Q5741562) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- The different shades of infinite session types (Q6141781) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)