Irminsule: a branch-consistent distributed library database / Sep 2014
Paper at the OCaml Workshop introducing Irmin (then called Irminsule), a branch-consistent distributed library database that brings Git-like operations to application data. This work with Thomas Gazagnaire and collaborators introduced mergeable persistent data structures that could be used to build eventually-consistent distributed systems. Irmin has since become a foundational component of MirageOS and other distributed OCaml applications.