@hackage sessions2008.2.22

Session Types for Haskell

Session Types for Haskell. Allows the specification of communication protocols and then validation that an implementation does not violate said protocol.