Mergeable persistent data structures / Jan 2015
Paper on mergeable data structures using Irmin (nee Irminsule) at JFLA 2015, the French-language functional programming conference. Working with Benjamin Farinier and Thomas Gazagnaire, we explored the theoretical foundations of mergeable persistent data structures. This formalized the ideas from Irminsule into a more general framework for building eventually-consistent distributed applications with type-safe merge operations.