Single and Loving It: Must-Alias Analysis for Higher-Order Languages.

Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright

Browse the full POPL paper archive.