Transposing relations: from Maybe functions to hash tables (2004)

by J N Oliveira, C J Rodrigues
Venue:In MPC’07 : Seventh International Conference on Mathematics of Program Construction