Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell

A library to probide a lwt based implementation of Distributed

A library to probide a uwt based implementation of Distributed

Library to provide session types to allow for static verification of protocols between concurrent computations.