The sessions package (version 2008.2.22)
Session Types for Haskell. Allows the specification of communication protocols and then validation that an implementation does not violate said protocol.
| Other versions | 2007.6.14, 2007.6.17, 2007.6.18, 2007.6.20, 2007.7.15, 2008.2.20, 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 |
|---|---|
| Dependencies | base, mtl |
| License | GPL |
| Copyright | Matthew Sackman |
| Author | Matthew Sackman |
| Maintainer | matthew@wellquite.org |
| Stability | Beta |
| Category | Control |
| Home page | http://www.wellquite.org/sessions/ |
| Exposed modules | Control.Concurrent.Session |
| Upload date | Fri Feb 22 10:23:21 PST 2008 |
| Uploaded by | MatthewSackman |
| Built on | ghc-6.8 |
Downloads
- sessions-2008.2.22.tar.gz (Cabal source package)
- package description (included in the package)