Links: Linking Theory to Practice for the Web
-
Updated
Feb 11, 2025 - OCaml
#
session-types
Here are 4 public repositories matching this topic...
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 simple library implementation of binary sessions
-
Updated
Jun 18, 2024 - OCaml
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."