Session types framework with support of protocol pipelining.
-
Updated
Feb 4, 2025 - Haskell
#
session-types
Here are 8 public repositories matching this topic...
Workshop on Session Types at Monadic Party 2019
-
Updated
Jun 20, 2019 - Haskell
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
-
Updated
Aug 16, 2017 - Haskell
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.
-
Updated
Dec 30, 2021 - Haskell
Designs and implementations of inter-node communication for the Ouroboros family
-
Updated
Mar 21, 2020 - Haskell
proof of concept for polymorphic imperative session types
-
Updated
Oct 31, 2022 - Haskell
An implementation of Multiparty Session Types with Timeout in Haskell
-
Updated
Jan 29, 2018 - Haskell
Some programs in the FreeST language
-
Updated
Mar 18, 2024 - Haskell
Improve this page
Add a description, image, and links to the session-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the session-types topic, visit your repo's landing page and select "manage topics."