John Peterson Untagged Data in Tagged Environments: Choosing Optimal Representations at Compile Time. 89-99 1989 FPCA http://doi.acm.org/10.1145/99370.99377 db/conf/fpca/fpca89.html#Peterson89