sessions: Session Types for Haskell
Session Types for Haskell. Allows the specification of communication protocols and then validation that an implementation does not violate said protocol. Ignore the build failure for hackage - it's just haddock being rubbish.
| Versions [faq] | 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, binary, bytestring, containers, mtl, network [details] |
| License | LicenseRef-GPL |
| Copyright | Matthew Sackman |
| Author | Matthew Sackman |
| Maintainer | matthew@wellquite.org |
| Category | Control |
| Home page | http://www.wellquite.org/sessions/ |
| Uploaded | by MatthewSackman at Fri Jul 18 14:20:12 UTC 2008 |
| Distributions | NixOS:2008.7.18 |
| Downloads | 8255 total (265 in the last 30 days) |
| Rating | (no votes yet) [estimated by rule of succession] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |
Modules
[Index]
Downloads
- sessions-2008.7.18.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)