Added link to POPL15 paper