forward-chan: Concurrent channels with a forwarding primitive
An implementation of the forward primitive, useful for proof terms from the sequent caluclus formulation of linear logic
See http://github.com/mmirman/forward-chan and http://www.cs.cmu.edu/~fp/papers/tldi12.pdf for more information on this primitive.
Downloads
- forward-chan-0.0.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.0.0.0 |
|---|---|
| Dependencies | base (>=4.7.0.0 && <6.0), SafeSemaphore (>=0.7 && <1.0), stm, unagi-chan (<1.0) [details] |
| License | LicenseRef-Apache |
| Author | Matthew Mirman |
| Maintainer | matt@mirman.com |
| Category | Concurrency |
| Home page | http://github.com/mmirman/forward-chan |
| Source repo | head: git clone git://github.com/mmirman/forward-chan.git |
| Uploaded | by MatthewMirman at 2017-07-28T12:25:14Z |
| Distributions | NixOS:0.0.0.0 |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 1097 total (4 in the last 30 days) |
| Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |