Number of downloads since 2017-03-13 is 55

Your browser should automatically take you to the link in 3 seconds. If it doesn't plase go to ../paper/2012-POPL.pdf