Declarative concurrency and stream processing library for Scala
-
Updated
Jun 8, 2024 - Scala
Declarative concurrency and stream processing library for Scala
Session types framework with support of protocol pipelining.
A library for deadlock-free multiparty session-typed communication in Rust.
Links: Linking Theory to Practice for the Web
Some programs in the FreeST language
Session-typed concurrent and distributed programming for .NET
文脈自由マルチパーティセッション型の実装
A deadlock-free communication API for web workers based on session types
Session types compiler - Master Dissertation
A mono-repo for a session type API code generation toolchain for modern web programming.
proof of concept for polymorphic imperative session types
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.
Agda formalization of fair subtyping for dependent session types
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.
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."