Exploiting prolific types for memory management and optimizations.

Yefim Shuf, Manish Gupta, Rajesh Bordawekar, Jaswinder Pal Singh

Browse the full POPL paper archive.