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.
| Versions | 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 |
|---|---|
| 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/ |
| Upload date | Thu Feb 28 21:58:34 UTC 2008 |
| Uploaded by | MatthewSackman |
| Built on | ghc-6.8 |
| Build failure | ghc-6.10 (log) |
Modules
- Control
Downloads
- sessions-2008.2.28.tar.gz (Cabal source package)
- package description (included in the package)