explicit-sharing

This package implements a monad for non-deterministic computations with sharing.