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.1.tar.gz
sha256=7844f746a9a117cb19396ec7bd62ab2fc4bf84e07fd30eb0307d1bcff22020ed
md5=67484fde1eeb216ab2da5ad239f947d8
Description
A prototype language focused on organizing concurrent programs via communication along substructurally typed channels between processes.
Published: 11 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