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.2.tar.gz
sha256=a2381f52b6f3a8372f5b9b220f0730b0caa293ee33aba561bfecb80efbf3c11a
md5=034a68a3adff8bbbe459684316f9a960
Description
A prototype language focused on organizing concurrent programs via communication along substructurally typed channels between processes.
Published: 10 Jan 2015
Dependencies (8)
-
ocamlbuild
build -
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