• "Ideal Hash Trees" (2000),
EPFL Technical Report • "Fast Functional Lists, Hash-Lists, Deques and Variable Length Arrays" (2002), EPFL Technical Report • "RRB Vector: A Practical General Purpose Immutable Sequence" (published posthumously in 2015) with Nicolas Stucki, Tiark Rompf, and Vlad Ureche,
ICFP 2015 • "RRB-Trees: Efficient Immutable Vectors" (2012) with Tiark Rompf, EPFL Technical Report == References ==