Session types framework with support of protocol pipelining.
-
Updated
Sep 29, 2024 - Haskell
Session types framework with support of protocol pipelining.
proof of concept for polymorphic imperative session types
Workshop on Session Types at Monadic Party 2019
Designs and implementations of inter-node communication for the Ouroboros family
FairCheck is a type checker for a calculus of binary sessions. The type system guarantees that well-typed programs terminate under a strong fairness assumption.
Some programs in the FreeST language
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
An implementation of Multiparty Session Types with Timeout in Haskell
Add a description, image, and links to the session-types topic page so that developers can more easily learn about it.
To associate your repository with the session-types topic, visit your repo's landing page and select "manage topics."