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.

Versions 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 Fri Jul 28 12:25:14 UTC 2017
Distributions NixOS:0.0.0.0
Downloads 254 total (19 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees