I have:
http://www.csg.csail.mit.edu/Users/arvind/pub.html. OCaml allows explicit threading through the Unix library, but are there any plans to do use implicit parallelism (via the OCaml compilers) to do parallel expression evaluation where possible?