package sessions

  1. Overview
  2. Docs
Library to provide session types to allow for static verification of protocols between concurrent computations

Install

Dune Dependency

Authors

Maintainers

Sources

0.1.0.tar.gz
sha256=7b9693aa4e8571fc7dadeeb971a24e523ad411a6cfd6d2e087aae05cfd3882cc
md5=c2d5f085a0aa0f6b5cf7cac2568560fb

Description

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".

Published: 02 Jan 2017

Dependencies (6)

  1. ocamlbuild build
  2. ocamlfind build
  3. lwt
  4. base-unix
  5. base-threads
  6. ocaml >= "4.02.3" & < "5.0.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.