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 | 1091 total (8 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] |