Session

OCaml implementation of binary sessions.

Service

OCaml implementation of featherweight services.