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 dateFri Feb 22 18:23:21 UTC 2008
Uploaded byMatthewSackman
Downloads996 total (88 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees