The sessions package

[Tags:gpl, library]

Session Types for Haskell. Allows the specification of communication protocols and then validation that an implementation does not violate said protocol.

Properties

Versions 2007.6.14, 2007.6.17, 2007.6.18, 2007.6.20, 2007.7.15, 2008.2.20, 2008.2.22, 2008.2.23, 2008.2.28, 2008.3.23, 2008.3.24, 2008.3.25, 2008.3.29, 2008.3.30, 2008.4.2, 2008.5.2, 2008.5.6, 2008.5.12, 2008.6.17, 2008.7.18
Change log ChangeLog.txt
Dependencies base, containers, mtl [details]
License GPL
Copyright Matthew Sackman
Author Matthew Sackman
Maintainer matthew@wellquite.org
Stability Beta
Category Control
Home page http://www.wellquite.org/sessions/
Uploaded Mon Mar 24 00:16:01 UTC 2008 by MatthewSackman
Distributions NixOS:2008.7.18
Downloads 3638 total (72 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees