POPL 15 paper added