John T. O'Donnell An Architecture that Efficiently Updates Associative Aggregates in Applicative Programing Languages. 164-189 1985 FPCA db/conf/fpca/fpca85.html#ODonnell85 http://dx.doi.org/10.1007/3-540-15975-4_36