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

Versions2007.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
Dependenciesbase, mtl
LicenseGPL
CopyrightMatthew Sackman
AuthorMatthew Sackman
Maintainermatthew@wellquite.org
StabilityBeta
CategoryControl
Home pagehttp://www.wellquite.org/sessions/
Upload dateWed Feb 20 17:50:42 UTC 2008
Uploaded byMatthewSackman
Downloads1478 total (175 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees