sessions: Session Types for Haskell
This library implements session types for Haskell. It is currently extremely experimental and only compiles with GHC 6.7.x or better. Documentation is also extremely scarce at the moment but hopefully should appear soon.
| 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 | LGPL |
| Copyright | Matthew Sackman |
| Author | Matthew Sackman |
| Maintainer | matthew@wellquite.org |
| Stability | Alpha |
| Category | Control |
| Home page | http://www.wellquite.org/sessions/ |
| Upload date | Sun Jun 17 16:08:55 UTC 2007 |
| Uploaded by | MatthewSackman |
| Build failure | ghc-6.10 (log), ghc-6.12 (log), ghc-6.6 (log), ghc-6.8 (log) |
| Distributions | Arch: 2008.7.18 |
Modules
- Control
- Concurrent
- Control.Concurrent.Session
- Concurrent
Downloads
- sessions-2007.6.17.tar.gz (Cabal source package)
- package description (included in the package)