POPL in London