sessiontypes: Session types library

[ control, gpl, library, program ] [ Propose Tags ] [ Report a vulnerability ]

This packages provides a deep embedded domain-specific language for writing session typed program. A session typed program is a program annotated with session types. A session type describes a communication protocol at the type-level. The motivation for doing so is that it gives you a static guarantee that a program correctly implements a protocol. It may even guarantee that no deadlocking can occur.

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.0, 0.1.1, 0.1.2
Change log ChangeLog
Dependencies base (>=4.7 && <5), deepseq (>=1.4 && <1.5), diagrams-lib (>=1.4 && <1.5), diagrams-svg (>=1.4 && <1.5), mtl (>=2.2 && <2.3), sessiontypes, transformers (>=0.5 && <0.6), vector (>=0.12 && <0.13) [details]
License GPL-3.0-only
Copyright 2017 Ferdinand van Walree
Author Ferdinand van Walree
Maintainer Ferdinand van Walree
Revised Revision 1 made by ferdinandvw at 2018-03-08T21:21:23Z
Category Control
Home page https://github.com/Ferdinand-vW/sessiontypes#readme
Source repo head: git clone https://github.com/Ferdinand-vW/sessiontypes
Uploaded by ferdinandvw at 2018-01-13T16:57:33Z
Distributions
Reverse Dependencies 1 direct, 1 indirect [details]
Executables test-visualizer
Downloads 2044 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-01-13 [all 1 reports]