Pages that link to "Item:Q5371999"
From MaRDI portal
The following pages link to A simple library implementation of binary sessions (Q5371999):
Displaying 12 items.
- A type checking algorithm for concurrent object protocols (Q1785846) (← links)
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Session types without sophistry. System description (Q2039935) (← links)
- Context-Free Session Type Inference (Q2988669) (← links)
- (Q5028463) (← links)
- Relating Functional and Imperative Session Types (Q5043592) (← links)
- (Q5094146) (← links)
- A simple library implementation of binary sessions (Q5371999) (← links)
- (Q5856424) (← links)
- A Sound Algorithm for Asynchronous Session Subtyping (Q5875400) (← links)
- ElixirST: a session-based type system for elixir modules (Q6052942) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)