The sessions package (version 2008.2.20)
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.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 |
|---|---|
| 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 | Wed Feb 20 09:50:42 PST 2008 |
| Uploaded by | MatthewSackman |
| Built on | ghc-6.8 |
Downloads
- sessions-2008.2.20.tar.gz (Cabal source package)
- package description (included in the package)