Implement Concurrent ML on top of picos #34
Description
Concurrent ML is a concurrency oriented programming language with lightweight threads, unbounded channels and selective communication: http://cml.cs.uchicago.edu/. OCaml has an implementation of concurrent ML that works for systhreads: https://ocaml.org/manual/5.1/api/Event.html.