MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Session OCaml
A novel library for concurrent/distributed programming in OCaml

Session-ocaml is an implementation of session types in OCaml.

Related publications