sessiontypes: Session types library

[ control, gpl, library, program ] [ Propose Tags ]

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.

Versions 0.1.0, 0.1.1, 0.1.2
Change log ChangeLog
Dependencies base (>=4.7 && <5), deepseq (==1.4.*), diagrams-lib (==1.4.*), diagrams-svg (==1.4.*), mtl (==2.2.*), sessiontypes, transformers (==0.5.*), vector (==0.12.*) [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 Thu Mar 8 21:21:23 UTC 2018
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 Sat Jan 13 16:57:33 UTC 2018
Distributions NixOS:0.1.2
Executables test-visualizer
Downloads 395 total (9 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-01-13 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

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

For package maintainers and hackage trustees