POPL 15 paper reference added