1 paper
William Henrich Due, Martin Elsman, Troels Henriksen
We present a systematic derivation of a data-parallel implementation of two-level, static and collision-free hash maps, by giving a functional formulation of the Fredman et al. con…