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.zip
md5=317148bbd50b78eed7b1a966f38f06f9
Description
A prototype language focused on organizing concurrent programs via communication along substructurally typed channels between processes.
Published: 12 Feb 2015
Dependencies (9)
- pa_monad_custom
- mparser
-
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