Links: Linking Theory to Practice for the Web
-
Updated
Jul 22, 2022 - OCaml
#
session-types
Here are 29 public repositories matching this topic...
add-on to Akka Typed that tracks effects for use with Session Types
-
Updated
Jul 15, 2021 - Scala
The official compiler for the Quartz programming language
programming-language
functional-programming
beam
oop
actor-model
concurrency
object-oriented
type-safety
session-types
static-typing
-
Updated
May 3, 2018 - OCaml
Library to provide session types to allow for static verification of protocols between concurrent computations.
-
Updated
Jan 1, 2017 - OCaml
A library for deadlock-free multiparty session-typed communication in Rust.
-
Updated
Jul 21, 2022 - Rust
Multiparty Session Types toolKit
-
Updated
Jun 18, 2019 - Scala
An implementation of Multiparty Session Types in Rust
-
Updated
Dec 18, 2017 - Rust
A deadlock-free communication API for web workers based on session types
-
Updated
Jun 24, 2022 - TypeScript
A mono-repo for a session type API code generation toolchain for modern web programming.
-
Updated
Jul 20, 2022 - Jupyter Notebook
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
Agda formalization of fair subtyping for dependent session types
-
Updated
Apr 16, 2022 - Agda
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
Scribble-Go file downloader demo.
-
Updated
Sep 27, 2018 - Go
An implementation of Multiparty Session Types with Timeout in Haskell
-
Updated
Jan 29, 2018 - Haskell
A simple library implementation of binary sessions
-
Updated
Nov 3, 2020 - OCaml
Designs and implementations of inter-node communication for the Ouroboros family
-
Updated
Mar 21, 2020 - Haskell
Parser and library for the sesstype type language in Go
-
Updated
Dec 18, 2017 - Go
Session-typed concurrent and distributed programming for .NET
-
Updated
Feb 11, 2022 - C#
Scribble-Go example protocols and programs
-
Updated
Nov 29, 2018 - Go
add-on to Akka Typed that tracks effects for use with Session Types
-
Updated
Jul 15, 2021 - Scala
Semi-Dynamic Session Types for Active Objects
-
Updated
Mar 20, 2021 - Kotlin
An implmentation of dynamically checked session types for Java 🦕 🚚 🚦
-
Updated
Jul 9, 2019 - Java
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.
lambda-calculus
formal-semantics
programming-languages
concurrent-programming
session-types
linear-types
type-systems
-
Updated
Feb 17, 2022 - HTML
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."
Make types such as
Pollable[A], ... opaque.