package sessions
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Library to provide session types to allow for static verification of protocols between concurrent computations
Install
Authors
Maintainers
Sources
0.1.0.tar.gz
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)
-
ocamlbuild
build
-
ocamlfind
build
- lwt
- base-unix
- base-threads
-
ocaml
>= "4.02.3" & < "5.0.0"
Dev Dependencies
Used by
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page