sillversion
Implementation of Linear Session Types
A prototype language focused on organizing concurrent programs via communication along substructurally typed channels between processes.
| Authors | Dennis Griffith <isanobody@gmail.com> and Frank Pfenning <fp@cs.cmu.edu> |
|---|---|
| License | GPL-3 with OCaml linking exception |
| Published | |
| Homepage | https://github.com/ISANobody/sill |
| Issue Tracker | https://github.com/ISANobody/sill/issues |
| Maintainer | isanobody@gmail.com |
| Dependencies |
|
| Source [http] | https://github.com/ISANobody/sill/archive/1.4.tar.gz sha256=ead249a67e3d2558337c54c5be0a1f06c28616270587693fdf0a22d49bee2d5e md5=805f8c6f72cc1054d2777152a700a144 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/sill/sill.1.4/opam |
No package is dependent
