sill

Authors { Dennis Griffith <isanobody@gmail.com>, Frank Pfenning <fp@cs.cmu.edu> }
License GPL-3 with OCaml linking exception
Homepage https://github.com/ISANobody/sill
Issue Tracker https://github.com/ISANobody/sill/issues
Maintainer isanobody@gmail.com
Dependencies
& base-threads
base-unix
bin_prot 113.01.00
core
mparser >= 1.1
ocamlbuild
ocamlfind
pa_monad_custom
re
sexplib 113.01.00
Available ocaml-version >= "4.01.0"
Published Apr 10, 2015
Source [http] http://github.com/ISANobody/sill/archive/v1.3.1.tar.gz
ef33ca00b0eb6b1fa48e8e03ce0c79da
Statistics Not installed in the last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/sill/sill.1.3.1/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