sillversion

Implementation of Linear Session Types

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

AuthorsDennis Griffith <isanobody@gmail.com> and Frank Pfenning <fp@cs.cmu.edu>
LicenseGPL-3 with OCaml linking exception
Published
Homepagehttps://github.com/ISANobody/sill
Issue Trackerhttps://github.com/ISANobody/sill/issues
Maintainerisanobody@gmail.com
Dependencies
Source [http] https://github.com/ISANobody/sill/archive/v1.3.1.tar.gz
sha256=280c8caf35ef05cb2ce22ce381e7743f1491875cbe3236820f3d37eb9bb14c1c
md5=ef33ca00b0eb6b1fa48e8e03ce0c79da
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/sill/sill.1.3.1/opam
No package is dependent