FuSe - A simple library implementation of binary sessions

FuSe is a lightweight OCaml module that implements session-based communication primitives and enables session type checking. It works with any out-of-the-box installation of OCaml and supports the following features: delegation; equi-recursive and polymorphic session types; session types with labeled branches; session type inference; duality constraints on session type variables; hybrid static/dynamic linearity checking; session subtyping; higher-order session iterators; shared channels for session initiation.