To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries.

Michael J. Steindorfer, Jurgen J. Vinju

Browse the full PLDI paper archive.