4 Search Results
distributed
Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell
sessions
Library to provide session types to allow for static verification of protocols between concurrent computations.