forward-chan: Concurrent channels with a forwarding primitive

[ concurrency, library ] [ Propose Tags ]

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

Maintainer's Corner

Package maintainers

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 1035 total (11 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]