add-on to Akka Typed that tracks effects for use with Session Types
-
Updated
Jul 15, 2021 - Scala
add-on to Akka Typed that tracks effects for use with Session Types
Session types compiler - Master Dissertation
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.
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.
Scribble-Go file downloader demo.
An implmentation of dynamically checked session types for Java 🦕🚚🚦
Some programs in the FreeST language
Semi-Dynamic Session Types for Active Objects
Parser and library for the sesstype type language in Go
A library implementation of binary session types in Swift
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."