Composing dataflow analyses and transformationsSorin LernerDavid Groveet al.2002POPL 2002Conference paper
Exploiting prolific types for memory management and optimizationsYefim ShufManish Guptaet al.2002POPL 2002Conference paper