Exploiting prolific types for memory management and optimizationsYefim ShufManish Guptaet al.2002POPL 2002