Session types compiler - Master Dissertation
-
Updated
Oct 8, 2023 - Go
Session types compiler - Master Dissertation
add-on to Akka Typed that tracks effects for use with Session Types
Scribble-Go example protocols and programs
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.
This is a rebar3 plugin to typecheck multiparty sessions in Erlang projects to ensure conformance to the system global type that specifies its expected global protocol.
Semi-Dynamic Session Types for Active Objects
Scribble-Go file downloader demo.
An implmentation of dynamically checked session types for Java 🦕🚚🚦
Some programs in the FreeST language
An implementation of Multiparty Session Types in Rust
Library to provide session types to allow for static verification of protocols between concurrent computations.
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
Agda formalization of fair subtyping for dependent session types
The official compiler for the Quartz programming language
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."