Bjarne Steensgaard Sparse Functional Stores for Imperative Programs. 62-70 1995 Intermediate Representations Workshop db/conf/irep/irep95.html#Steensgaard95