Section: Software and Platforms

Functory

Participant : Jean-Christophe Filliâtre [contact] .

Functory is a distributed computing library for OCaml. The main features of this library include (1) a polymorphic API, (2) several implementations to adapt to different deployment scenarios such as sequential, multi-core or network, and (3) a reliable fault-tolerance mechanism. Functory was presented at JFLA 2011 [92] and at TFP 2011 [91] .