Opam Package sessions.0.1.0

Package info

opam-namesessions
opam-version0.1.0
synopsisLibrary to provide session types to allow for static verification of protocols between concurrent computations.
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".
authors
  • essdotteedot <essdotteedot@gmail.com>
homepagehttps://github.com/essdotteedot/sessions
licenseMIT
deps (6)
revdeps(0)
metas (2)
libraries (2)

Package modules

Package sources

sessions

Package files

lib/sessions/sessions.cmxs
lib/sessions/sessions.cmxa
lib/sessions/sessions.cma
lib/sessions/sessions.a
lib/sessions/sessions-lwt.cmxs
lib/sessions/sessions-lwt.cmxa
lib/sessions/sessions-lwt.cma
lib/sessions/sessions-lwt.a
lib/sessions/binary_session_lwt.mli
lib/sessions/binary_session_lwt.cmx
lib/sessions/binary_session_lwt.cmti
lib/sessions/binary_session_lwt.cmt
lib/sessions/binary_session_lwt.cmi
lib/sessions/binary_session_lwt.annot
lib/sessions/binary_session.mli
lib/sessions/binary_session.cmx
lib/sessions/binary_session.cmti
lib/sessions/binary_session.cmt
lib/sessions/binary_session.cmi
lib/sessions/binary_session.annot
lib/sessions/META
lib/sessions