sill

AuthorsDennis Griffith <isanobody@gmail.com> and Frank Pfenning <fp@cs.cmu.edu>
LicenseGPL-3 with OCaml linking exception
Homepagehttps://github.com/ISANobody/sill
Issue Trackerhttps://github.com/ISANobody/sill/issues
Maintainerisanobody@gmail.com
Dependencies
&base-threads
base-unix
bin_prot113.01.00
core
mparser>= 1.1
ocamlbuild
ocamlfind
pa_monad_custom
re
sexplib113.01.00
Availableocaml-version >= "4.01.0"
PublishedMay 4, 2015
Source [http] https://github.com/ISANobody/sill/archive/1.4.tar.gz
805f8c6f72cc1054d2777152a700a144
StatisticsInstalled oncein last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/sill/sill.1.4/opam

Implementation of Linear Session Types

A prototype language focused on organizing concurrent programs via communication along substructurally typed channels between processes.

No package is dependent