package sill
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Implementation of Linear Session Types
Install
Dune Dependency
Authors
Maintainers
Sources
v1.3.1.tar.gz
sha256=280c8caf35ef05cb2ce22ce381e7743f1491875cbe3236820f3d37eb9bb14c1c
md5=ef33ca00b0eb6b1fa48e8e03ce0c79da
Description
A prototype language focused on organizing concurrent programs via communication along substructurally typed channels between processes.
Published: 10 Apr 2015
Dependencies (11)
-
ocamlbuild
build - pa_monad_custom
-
mparser
>= "1.1" - re
-
sexplib
< "113.01.00" - ocamlfind
- core
-
bin_prot
< "113.01.00" - base-unix
- base-threads
-
ocaml
>= "4.01.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page