sessions

Author essdotteedot <essdotteedot@gmail.com>
License MIT
Homepage https://github.com/essdotteedot/sessions
Issue Tracker https://github.com/essdotteedot/sessions/issues
Maintainer essdotteedot <essdotteedot@gmail.com>
Dependencies
& base-threads
base-unix
lwt
ocamlfind
Available ocaml-version >= "4.02.3"
Published Jan 1, 2017
Source [http] http://github.com/essdotteedot/sessions/archive/0.1.0.tar.gz
c2d5f085a0aa0f6b5cf7cac2568560fb
Statistics Not installed in the last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/sessions/sessions.0.1.0/opam

Library to provide session types to allow for static verification of protocols between concurrent computations.

Provides sessions types (currently binary session type) for statically verifying protocols between concurrent computations. A pair of processes which are parametrized by binary session types can only be run if they have compatible (dual) session types. This library is based on the paper "Haskell Session Types with (Almost) No Class".

No package is dependent