Partitioning Dataflow Analyses Using Types.

Erik Ruf Partitioning Dataflow Analyses Using Types. 15-26 1997 POPL db/conf/popl/popl97.html#Ruf97 http://doi.acm.org/10.1145/263699.263705