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
1.4.tar.gz
sha256=ead249a67e3d2558337c54c5be0a1f06c28616270587693fdf0a22d49bee2d5e
md5=805f8c6f72cc1054d2777152a700a144
Description
A prototype language focused on organizing concurrent programs via communication along substructurally typed channels between processes.
Published: 05 May 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