Section: Software

Functory

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

Keywords: Library, OCaml.

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  [84] and at TFP 2011  [83] .