Session
OCaml implementation of binary sessions.
Service
OCaml implementation of featherweight services.