Mergeable persistent data structures Irmin is an OCaml library to design purely functional data structures that can be persisted on disk and be merged and synchronized efficiently. In this paper, we focus on the merge aspect of the library and present two data structures built on top of Irmin: (i) queues and (ii) ropes that […]
Archive for February, 2015
Trilogy 2 plenary meeting in Louvain la Neuve
The Trilogy 2 consortium met in Louvain la Neuve at the UCL (Université catholique de Louvain la Neuve) (16th-17th February)