@hackage / forward-chan

Concurrent channels with a forwarding primitive

Latest0.0.0.0

About

Metadata

  • Last updated , by MatthewMirman
  • License LicenseRef-Apache
  • Categories Concurrency

  • Maintained by: matt@mirman.com

  • Lottery factor: 0

Links

Installation

Readme

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.