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 | 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, containers, 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 | Tue May 6 12:44:51 UTC 2008 |
| Uploaded by | MatthewSackman |
| Built on | ghc-6.10, ghc-6.8 |
Modules
- Control
- Concurrent
- Control.Concurrent.Session
- Control.Concurrent.Session.Bool
- Control.Concurrent.Session.Interleaving
- Control.Concurrent.Session.List
- Control.Concurrent.Session.Map
- Control.Concurrent.Session.Number
- Control.Concurrent.Session.Pid
- Control.Concurrent.Session.Runtime
- Control.Concurrent.Session.SMonad
- Control.Concurrent.Session.SessionType
- Control.Concurrent.Session.SessionTypeMonad
- Control.Concurrent.Session
- Concurrent
Downloads
- sessions-2008.5.6.tar.gz (Cabal source package)
- package description (included in the package)