| CARVIEW |
Select Language
HTTP/1.1 200 OK
Connection: keep-alive
Server: nginx/1.24.0 (Ubuntu)
Content-Type: text/html; charset=utf-8
Cache-Control: public, max-age=300
Content-Encoding: gzip
Via: 1.1 varnish, 1.1 varnish
Accept-Ranges: bytes
Age: 0
Date: Sun, 18 Jan 2026 05:15:11 GMT
X-Served-By: cache-dfw-ktki8620040-DFW, cache-bom-vanm7210087-BOM
X-Cache: MISS, MISS
X-Cache-Hits: 0, 0
X-Timer: S1768713312.654129,VS0,VE314
Vary: Accept, Accept-Encoding
transfer-encoding: chunked
sessions: Session Types for Haskell
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.
Modules
[Index]
Downloads
- sessions-2008.7.18.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 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 |
|---|---|
| Change log | ChangeLog.txt |
| Dependencies | base, binary, bytestring, containers, mtl, network [details] |
| License | LicenseRef-GPL |
| Copyright | Matthew Sackman |
| Author | Matthew Sackman |
| Maintainer | matthew@wellquite.org |
| Uploaded | by MatthewSackman at 2008-07-18T14:20:12Z |
| Category | Control |
| Home page | https://www.wellquite.org/sessions/ |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 14203 total (68 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating |
|
| Status | Docs uploaded by user Build status unknown [no reports yet] |