MobilityReadingGroup

Session OCaml

A novel library for concurrent/distributed programming in OCaml

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

• Keigo Imai, Nobuko Yoshida, Shoji Yuen: Session-Ocaml: a Session-based Library with Polarities and Lenses. scico : 1 - 50.
• Keigo Imai, Nobuko Yoshida, Shoji Yuen: Session-ocaml: a session-based library with polarities and lenses . COORDINATION 2017 : 99 - 118.