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
Scribble-Go example protocols and programs
An implmentation of dynamically checked session types for Java 🦕🚚🚦
Some programs in the FreeST language
Semi-Dynamic Session Types for Active Objects
Uma aplicação web que implementa um interpretador para uma variação do cálculo-lambda com operações de concorrência e tipos de sessão.
proof of concept for polymorphic imperative session types
Scribble-Go file downloader demo.
Parser and library for the sesstype type language in Go
An implementation of Multiparty Session Types with Timeout in Haskell
文脈自由マルチパーティセッション型の実装
Session-typed concurrent and distributed programming for .NET
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.
Designs and implementations of inter-node communication for the Ouroboros family
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."