Exploiting prolific types for memory management and optimizations.

Yefim Shuf Manish Gupta Rajesh Bordawekar Jaswinder Pal Singh Exploiting prolific types for memory management and optimizations. 295-306 2002 POPL http://doi.acm.org/10.1145/503272.503300 db/conf/popl/popl2002.html#ShufGBS02